|, Alan Turing: The Enigma, Simon and Schuster, New York, 1983||Cf Chapter "The Spirit of Truth" for a history leading to, and a discussion of, his proof|
|Re: the problem of paradoxes, the authors discuss the problem of a set not be an object in any of its "determining functions", in particular "Introduction, Chap||Papers include those by Godel, Church, Rosser, Kleene, and Post|
The Mathematical Association of America.
|Unsolved problems in mathematical systems and control theory||, "Fall of a Genius", a book review of "Alan Turing: The Enigma by Andrew Hodges", in The New York Review of Books, January 19, 1984, p|
|Old and New Unsolved Problems in Plane Geometry and Number Theory||Alan Turing, "On , with an application to the Entscheidungsproblem", Proceedings of the , Series 2, 42 1937 , pp 230—265|
Unsolved Problems in Number Theory.9
|Alonzo Church, "A note on the Entscheidungsproblem", Journal of Symbolic Logic, 1 1936 , pp 40—41||Turing's paper is 3 in this volume|
|Erdos on Graphs: His Legacy of Unsolved Problems|