Re: My investigations into Godels Incompleteness Theorem


Peter_Smith wrote:
Frankly, I just don't think John Jones is trying hard enough to be
completely off the wall ... so to help him out a bit here are some more
topics he could perhaps offer us riffs on:

Interrogating Addiction: Blind Perversion in Kurt Gödel's First
Incompleteness Theorem

Mythical Feminism and the Perversion of Polyvocal Literacies in Kurt
Gödel's First Incompleteness Theorem

Kurt Gödel Dismembering Patriarchy: First Incompleteness Theorem and
the Edges of Resistance

(Ok, I've had a bit of assistance from The Amazing and Incredible,
Only-Slightly-Laughable, Politically Unassailable, PoMo English Title
Generator ....)

In simpler english:
Godel appended, and not mathematically integrated, self-reference to
consistency. Because the consistency was in the standard form of a
proof, he thought that he could get away with saying that he had
actually set out to prove something he had in mind. But he had nothing
in mind, and so the proof was not a proof. All he had was this tableau
of self-reference appended to consistency. The fact that the
consistency was in the form of a proof is not only irrelevant, but
rationally not acceptable in the absence of an idea of which the proof
was supposed to be a proof of.

.

Relevant Pages