|
|
Refereed
articles
| 1. |
Ordinal
definability in the rank hierarchy. Annals
of MathematicalLogic
6
(1973), 1-39. Corrigendum, ibid.7 (1974),
325. |
| 2. |
(With
Paul E. Howard) Factorials of infinite cardinals.
Fundamenta Mathematicae XCIII (1976), 185-195.
|
| 3. |
(With
Richard Mansfield) Boolean-valued set theory
and forcing. Synthese
33 (1976), 223-252. |
| 4. |
Some
ridge-length problems. Two-Year College Mathematics
Journal, December 1976,
43-45. |
| 5. |
(With
Bruce S. Babcock) A neglected approach to the logarithm.
Two-Year College Mathematics
Journal, June 1978, 136-140. |
| 6. |
The
Gödel incompleteness theorem from a length-of-proof
perspective. American Mathematical Monthly 86 (1979),
740-747. |
| 7. |
Wavefronts,
box diagrams, and the product rule: a discovery
approach. Two-Year College Mathematics Journal,
March 1980, 102-106. |
| 8. |
The
published work of Kurt Gödel: an annotated bibliography.
Notre Dame Journal of Formal Logic 24 (1983),
255-284.
Addenda and corrigenda, ibid. 25 (1984),
283-287. |
| 9. |
Discussion
on the foundation of mathematics [translation and
commentary]. History and Philosophy of Logic 5
(1984), 111-129. |
| 10. |
Kurt
Gödel in sharper focus. The Mathematical Intelligencer 6:4
(1984), 9-17. (See also items 13, 15, 18, 27 and 30.) |
| 11. |
Cataloguing
the Gödel Nachlaß. Philosophia Naturalis 21 (1984),
538-545. (Abstract in Abstracts of the Seventh International
Congress of Logic, Methodology, and Philosophy of Science
(Salzburg, 1983) 6, 59-61.) |
| 12. |
Completing
the Gödel-Zermelo correspondence.
Historia Mathematica 12 (1985), 66-70. |
| 13. |
Kurt
Gödel no shirarezaru sugata. (Japanese translation of item
10, by Sei Kodaira.) Sugaku Seminar 24:12 (December 1985),
31-40. |
| 14. |
The
reception of Gödel's incompleteness theorems.
Pages 253-271 in PSA 1984: Proceedings of the Biennial
Meeting of the Philosophy of Science Association
(Chicago, 1984), Volume 2 (1985).
(See also items 18 and 23.) |
| 15. |
Zaostreno
na Kurta Gödela. (Czech translation of item 10,
by Petr Hajek.) Pokroky matematiky, fyziky a astronomie XXXI
(1986), 264-274. (See also item 27.) |
| 16. |
Razgovor
za g'ödel" [Conversation about Gödel]. Pages 99-103 in
Filosofska Mis"l [Philosophical Mind] XLIII:10 (1987).
(Bulgarian
translation of a discussion about Gödel, part of the Advanced
Summer School and Conference on Mathematical Logic and its
Applications, Druzhba, Bulgaria, September, 1986.) |
| 17. |
Facets
of incompleteness. Pages 9-21 in Mathematical Logic and
its Applications (ed. D.G. Skordev), Plenum Publishing Company
(New York, 1988). |
| 18. |
Reprints
of items 10 and 14. Pages 1-16 and 74-95 in
Gödel's Theorem in Focus (ed. S.G. Shanker), Croom Helm
(London, 1988). |
| 19. |
Public
Image (poem). The Mathematical Intelligencer 12:1
(1990), 13. |
| 20. |
Contrasting
examples in improper integration. The
Mathematics Teacher 83:3 (1990), 201-202. |
| 21. |
Hanging
a bird feeder: food for thought. The College
Mathematics Journal 21:2 (1990), 129-130. |
| 22. |
Displaying
the conics: three alternatives to computer graphics.
PRIMUS 1 (1991), 87-93. |
| 23. |
Reprint
of item 14. Pages 84-100 in Perspectives on the History
of Mathematical Logic (ed. T. Drucker), Birkhauser (Boston, 1991). |
| 24. |
Jean
van Heijenoort: An all too brief acquaintance.
Modern Logic 2:3 (1992), 228-230. |
| 25. |
The compactness of
first-order logic: from Gödel to Lindström.
History and Philosophy of Logic 14 (1993), 15-37. |
| 26. |
Prelude
to recursion theory: the Gödel-Herbrand correspondence.
Pages 1-13 in First International Symposium on Gödel's Theorem
(ed. Z. Wolkowski), World Scientific Publishing Co.
(Singapore, 1993). |
| 27. |
Revised
reprint of item 15. Pages 10-32 in Kurt Gödel (ed. Jan
Malina and Jan Novotny), one of the series Osobnosti
(Personalities), published by Nadace Universitas Masarykiana
(Brno, 1996). |
| 28. |
What
hath Gödel wrought? Synthese 114 (1998), 3-12. |
| 29. |
Logical
contributions to the Menger colloquium. Pages 33-42 in
Ergebnisse eines Mathematischen Kolloquiums
(ed. Egbert Dierker
and Karl Sigmund),
Springer-Verlag (Vienna, 1998). |
| 30. |
Reprint
of item 10. Pages 401-417 in Classics from the
Mathematical Intelligencer (ed. Robin Wilson and Jeremy Gray),
Springer-Verlag (New York, 2000). |
| 31. |
The
Kentucky Vietnam veterans memorial.
The Mathematical Intelligencer 23:2(2001), 56-58. |
| 32. |
Max
Dehn, Kurt Gödel, and the trans-Siberian escape route.
Internationale mathematische Nachrichten 189
(April 2002), 1-13. |
| 33. |
Reprint
of item 32. Notices of the American Mathematical Society
49:9 (October 2002), 1068-1075. |
| |
Correction, 50:1
(January 2003), 62. |
| 34. |
Future tasks for Gödel scholars (with Cheryl A. Dawson), Bulletin of Symbolic Logic 11:2 (June 2005), 150-171 |
| 35. |
In quest of Kurt Gödel: reflections of a biographer, Notices of the American Mathematical Society 53:4 (April, 2006), 440-443 |
| 36. |
Why do mathematicians re-prove theorems?, Philosophia Mathematica (III) 14:3 (2006), 269-286. |
| 37. |
(with Karl Sigmund), Gödel's Vienna, The Mathematical Intelligencer 28:3 (2006), 44-55 |
Encyclopedia
articles
Gödel,
Kurt. Encyclopedia Americana 12 (1993), 841-842.
Gödel,
Kurt (1906-78). Routledge Encyclopedia of Philosophy 4
(1998), 105-107.
Invited
popular article
Gödel
and the limits of logic. Scientific American 2 80:6
(June 1999), 76-81.
Typescript
publication
The
papers of Kurt Gödel: an inventory. Prepared for the Institute
for
Advanced Study, Princeton, NJ, July 1984. 72 pp. (Abstract in Historia
Mathematica 13 (1986), 277.) Available online at
http://libweb.princeton.edu/libraries/firestone/rbsc/
Books
edited
Kurt
Gödel: Collected Works. (Co-editor and translator, with Solomon
Feferman, Warren Goldfarb, Stephen C. Kleene, Gregory H. Moore,
Charles Parsons, Wilfried Sieg, Robert M. Solovay and Jean van
Heijenoort.) Oxford University Press, New York. (Volume I, 1986;
Volume II, 1990; Volume III, 1995; Volumes IV and V, 2003.)
Volumes I - III reissued in paperback, 2001.
Kurt Gödel:
Opere, Volume 1, 1929-1936. Italian translation by
Eduardo Ballo et al. of vol. I of Gödel's Collected Works. Bollati
Boringhieri, Turin, 1999.
Books
authored
Logical
Dilemmas: The Life and Work of Kurt Gödel. A.K. Peters, Ltd.,
Wellesley, Mass., 1997. 361 pp.
German
translation by Jakob Kellner: Kurt Gödel: Leben und Werk.
Springer-Verlag, Vienna and New York, 1999.
Italian
translation by Paolo Pagli: Dilemmi Logici, La vita el'opera di
Kurt Gödel. Bollati Boringhieri, Turin, 2001.
Book
chapters
The
golden age of mathematical logic. The Cambridge History of
Philosophy, 1870-1945, 590-597 (Cambridge University Press, 2003).
Classical logic's coming of age. Pages 497-522 in Philosophy of Logic (Handbook of the Philosophy of Science, vol. 5), ed. Dale Jacquette (North-Holland Pub. Co., 2006).
Extended abstracts in conference proceedings
Gödel and the origins of computer science. In Logical Approaches to Computational Barriers, Proceedings of the Second Conference on Computability in Europe, Swansea, UK, ed. Arnold Beckmann, Ulrich Berger, Benedikt Löwe and John V. Tucker (Springer Verlag, Berlin and Heidelberg, 2006), 133-136.
Shaken foundations or groundbreaking realignment? A centennial assessment of Kurt Gödel's impact on logic, mathematics and compter science. Proceedings of the Twenty-first Annual IEEE Symposium on Logic in Computer Science (IEEE, Los Alamitos, CA, 2006), 339-341.
Articles accepted for publication
K. Gödel, entry for the Princeton Companion to Mathematics (Princeton University Press, forthcoming).
Kurt Gödel: A genius at odds with the Zeitgeist (to appear in Journal of Physics: Conference Series).
|
