Incompleteness theorem via weak definability of truth: a short proof.

Giorgio Germano

Published in: Notre Dame J. Formal Log. (1973)

Keyphrases

interactive theorem proving
fixed point
linear logic
incomplete information
theorem prover
evolutionary algorithm
theorem proving
database
data sets
machine learning
fuzzy logic
expressive power
valued logic
finite model theory