Hacker News Reader

Does anyone know of any material linking Godel, Turing, and John McCarthy's work, beyond their individual publications?

It's also my understanding that Godel did not like publishing. Has his unpublished work ever been combed through and published in some form? Did he primarily write in English or German? Who has his personal papers?

View on HN

Godel’s collected works (including much unpublished work and correspondence) have been published by Clarendon Press, with more work (including translations from German) put into them than pretty much any other mathematician’s collected works.

I didn't realize that. Thank you! Volume III seems exactly what I'm looking for.

Reply on news.ycombinator.com