Re: Godel proved maths inconsistent not incompleteness theorem

On Mar 24, 2:24 pm, Peter_Smith <ps...@xxxxxxxxx> wrote:
Peter Smith claims his book has my proofs, but see my reply - his
statements are not so.  His proofs are an order of magintude longer
and more complex than mine.

Hardly. What I said was that some of the proof ideas you very vaguely
wave your armsat  (e.g. about the unsolvability of the halting problem
entailing that the set of true sentences is not r.e.) are widely
available in the literature in properly worked out versions.

You must be talking about a different quote:

"various short proofs abound, e.g. in my book secs 5.3/5.4, 6.2/6.3,
33.6 to mention three proofs distinct from Gödel's".

As I showed in detail, the very first proof in section 5.3 is about 10
times as long as mine.

C-B
.

Relevant Pages
Loading