Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem.

Saeed Salehi Payam Seraji

Published in: CoRR (2016)

Keyphrases

interactive theorem proving
incomplete information
formal proofs
theorem proving
von neumann
formal proof
equational theories
neural network
information retrieval
information systems
cooperative
multiresolution
medical images
theorem prover
intuitionistic logic
mathematical proofs