Prev: Methods of Proving all of Incompleteness in Logic in Trivially Short Proofs & a Challenge
Next: Adding the Godel Sentence to the Axioms of PA
From: Charlie-Boo on 30 May 2010 08:45

Everyone including Martin Davis (his anthology) says that Rosser 1936
can't be extended because an inconsistent system proves everything and
so is complete (in a very bad way.) But Turing 1937 includes a
derivation of Rosser 1936. So what are the possibilities?

1. Turing 1937 is equivalent to Rosser 1936.

2. Martin Davis and everybody else are wrong.

3. They need to more closely examine the notion of extending a
theorem.

4. What?

C-B
 | 
Pages: 1
Prev: Methods of Proving all of Incompleteness in Logic in Trivially Short Proofs & a Challenge
Next: Adding the Godel Sentence to the Axioms of PA