, 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 |
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 |
.