[FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems

Harvey Friedman friedman at math.ohio-state.edu
Sun Jul 18 16:24:00 EDT 2010

On Jul 17, 2010, at 3:32 PM, steve newberry wrote:

> Kurt Schutte's little Pi-0-2 gem of 1934 is an undecidable sentence,
> in PURE First Order Logic, using a single dyadic predicate, three
> quantifiers, and four literals.

In the sense of undecidable we are talking about in this thread,  
(forall x)(R(x)) is undecidable in pure first order logic. Please  
explain the notion of undecidable you are using.

Harvey Friedman

More information about the FOM mailing list