Undecidables
Stuart Hampshire, 16 February 1984
Alan Turing: The Enigma
by Andrew Hodges.
Burnett, 587 pp., £18, October 1983,0 09 152130 0 Show More
by Andrew Hodges.
Burnett, 587 pp., £18, October 1983,
“... living in the USA, Kurt Gödel. Gödel has been plausibly described as the greatest logician since Aristotle, because his incompleteness proof, formal and final, showed that any mathematical system of an interesting complexity must generate propositions which cannot be shown within the system to be true or shown to be false. The proof blocked the programme of ... ”