Xerox of ALS from AMT to R.O. Gandy; on ROG's 'Gödel stuff'. AMT discusses ROG's attempt to get round Gödel's arguments, and concludes 'So one must respect Gödel's difficulties unless one includes some method of proof which does not lend itself to this sort of formulation.' AMT discusses '61 proofs of a formula of Gandy'. He can do the rainbow problem successfully for sound, but total failure for electricity. Wilmslow. [? 1954, according to ROG]. 2 sh.
See D/4 for original
Copyright: Copyright © The Provost and Scholars of King's College Cambridge