From: "Clive Tooth" <clive@pisquaredoversix.force9.co.uk>
Subject: Re: Undecidable arithmetic without Godel numbering.Re: Goldbach conjecture
Date: Thu, 14 Sep 2000 12:17:25 +0100
Newsgroups: sci.math
Summary: [missing]

lemma_one@my-deja.com wrote in message <8pq7h8$71m$1@nnrp1.deja.com>...

> [...]
>Isn't there some number theory statement, like some diophatine equation
>or something, that you can write out plainly and simply in a manner akin
>to the Continuum Hypothesis, that is undecidable?

J.Paris and L.Harrington, "A Mathematical Incompleteness in Peano
Arithmetic", in J.Barwise, ed., Handbook of Mathematical Logic, Amsterdam,
1977.

--
Clive Tooth
http://www.pisquaredoversix.force9.co.uk/
End of document