2) On pages 44-45 vos Savant mentions Kurt

Godel's proof that any "consistent system of formal logic powerful enough to formulate statements in the theory of numbers must include true statements that cannot be proved.

Ursula, a lesbian coworker, appears at the scenes end and tells Hilary "You wouldn't know

Godel's Proof if it had suspender's in Selfridge's window" an apparent joke that fell flat at the matinee I attended.

18) In fact, a careful popularized account by two respected academicians was criticized by Godel himself: that by Ernest Nagel and James Newman,

Godel's Proof (New York: New York University Press, 2001).

Despite

Godel's proof that formal systems of logic are necessarily incomplete, realist philosophers continued to search for the foundations of certain knowledge.

Their work called 'Formalization, Mechanization and Automation of

Godel's Proof of God's Existence' state that his ontological proof of God has been analysed for the first time with an unprecedented degree of detail and formality with the help of higher-order theorem proves.

Godel's proof emerged from deep insights into the self-referential nature of mathematical statements.

Moreover, in considering his response to Godel, we ought to keep in mind Wittgenstein's remark in RFM that his purpose is not to address

Godel's proof (that is, presumably, not to affirm or deny it) but rather to "bypass it" (RFM VII, sect.

His main goal was to demonstrate the independence of the hypothesis, but in order to keep the course as self-contained as possible, he included background material in logic and axiomatic set theory as well as

Godel's proof of the consistency of the hypothesis.

If applicable to law (a significant contingency indeed),

Godel's proof indicates unavoidable judicial susceptibility to inconsistency, since abstinence from adjudication of formally undecidable cases is impractical.

Feferman presents two claims to support his contention that

Godel's proof cannot demonstrate that science must remain incomplete.

Neale says that where "FIC" is the two-place connective "the fact that __ is identical to the fact that ",

Godel's proof shows that if l-SUB and l-CONV are valid rules of inference for sentences within the scope of FIC then PSME is a valid rule of inference for sentences within the scope of FIC.

An Austrian mathematician, Kurt Godel (1906-1978), put a final end to such schemes in 1931 by advancing what is now called

Godel's proof.