Home » Browse the archive » AMT/K: Material given to Kings College » AMT/K/1


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 © P.N. Furbank

  • 86

  • 86a

Browse the archive | Back to the top

Copyright & terms of use | Contacts


Turing Digital Archives