Re: Godel proved maths inconsistent not incompleteness theorem

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.
.

Relevant Pages