[FOM] Godel's Princeton lectures

Daniel Schwartz schwartz at cs.fsu.edu
Sun Apr 1 11:28:40 EDT 2018

Would Martin Davis or anyone else on this list know about this?

In Kleene's 1936 paper "Recursive functions of natural numbers", reprinted
in Davis' "The Undecidable", he says this paper is based on some lectures
given by Godel at Princeton in 1934.

Also, in Kleene's book "Introduction to Metamathematics" he makes the
explicit reference:

"Godel, Kurt, 1934, On undecideable propositions of formal mathematical
systems. Notes by S.C. Kleene and Barkley Rosser on lectures at the
Institute for Advanced Study, 1934. Mimeographed, Princeton, N.J., 30 pp."

Have these lecture notes ever been published?  Would anyone know where to
get a copy?


Dan Schwartz

Dr. Daniel G. Schwartz                            Office    850-644-5875
Dept. of Computer Science, MC 4530                CS Dept   850-644-4029
Florida State University                          Fax       850-644-0058
Tallahassee, FL 32306-4530                        schwartz at cs.fsu.edu
U.S.A.                                   http://www.cs.fsu.edu/~schwartz

More information about the FOM mailing list