[FOM] FOM Godel's Princeton Notes

[Martin Davis]

Daniel Schwartz wrote inquiring about availability of:

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

These were published in my anthology "The Undecidable" in 1965 with
additional notes supplied by Gödel. The book has been reprinted by Dover
and should be easy to find. Of course the notes are also in Gödel's
Collected Works, Sol Feferman et al eds. (vol. I, pp. 346-367).

Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180401/b814e1be/attachment-0001.html>