Login / Signup
From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference.
Albert Visser
Published in:
J. Log. Comput. (2019)
Keyphrases
</>
valued logic
incomplete information
von neumann
databases
image processing
fuzzy logic
missing values
propositional logic
social bookmarking
data sets
neural network
information technology
multi valued