On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.
Makoto KikuchiTaishi KurahashiHiroshi SakaiPublished in: Math. Log. Q. (2012)
Keyphrases
- cut elimination
- sequent calculus
- incomplete information
- proof search
- theorem prover
- linear logic
- inference rules
- natural deduction
- theorem proving
- formal proofs
- mathematical proofs
- wide class
- computer vision
- evolutionary algorithm
- equational theories
- digital topology
- modal logic
- neural network
- interactive theorem proving
- decision procedures
- inductive logic programming
- missing values
- artificial neural networks
- image sequences
- image segmentation
- information retrieval
- machine learning
- data mining