Dr. John Dawson,

Professor of Mathematics

Educational Background

Research Interests

- Research Summary
- Publications/Papers

Professional Activities

Extracurricular Interests



 Refereed articles


Ordinal definability in the rank hierarchy. Annals of MathematicalLogic 6 (1973), 1-39. Corrigendum, ibid.7 (1974), 325.


(With Paul E. Howard) Factorials of infinite cardinals.
Fundamenta Mathematicae XCIII (1976), 185-195.


(With Richard Mansfield) Boolean-valued set theory
and forcing. Synthese 33 (1976), 223-252.


Some ridge-length problems. Two-Year College Mathematics
, December 1976, 43-45.


(With Bruce S. Babcock) A neglected approach to the logarithm.
Two-Year College Mathematics Journal
, June 1978, 136-140.


The Gödel incompleteness theorem from a length-of-proof
perspective. American Mathematical Monthly 86 (1979), 740-747.


Wavefronts, box diagrams, and the product rule: a discovery
approach. Two-Year College Mathematics Journal,
March 1980, 102-106.


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.


Discussion on the foundation of mathematics [translation and
commentary]. History and Philosophy of Logic 5 (1984), 111-129.


Kurt Gödel in sharper focus. The Mathematical Intelligencer 6:4
(1984), 9-17. (See also items 13, 15, 18, 27 and 30.)


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


Completing the Gödel-Zermelo correspondence.
Historia Mathematica 12 (1985), 66-70.


Kurt Gödel no shirarezaru sugata. (Japanese translation of item
10, by Sei Kodaira.) Sugaku Seminar 24:12 (December 1985),


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


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


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


Facets of incompleteness. Pages 9-21 in Mathematical Logic and
its Applications
(ed. D.G. Skordev), Plenum Publishing Company
(New York, 1988).


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


Public Image (poem). The Mathematical Intelligencer 12:1
(1990), 13.


Contrasting examples in improper integration. The
Mathematics Teacher 83:3
(1990), 201-202.


Hanging a bird feeder: food for thought. The College
Mathematics Journal 21:2
(1990), 129-130.


Displaying the conics: three alternatives to computer graphics.
PRIMUS 1 (1991), 87-93.


Reprint of item 14. Pages 84-100 in Perspectives on the History
of Mathematical Logic
(ed. T. Drucker), Birkhauser (Boston, 1991).


Jean van Heijenoort: An all too brief acquaintance.
Modern Logic 2:3 (1992), 228-230.


The compactness of first-order logic: from Gödel to Lindström.
History and Philosophy of Logic 14 (1993), 15-37.


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


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


What hath Gödel wrought? Synthese 114 (1998), 3-12.


Logical contributions to the Menger colloquium. Pages 33-42 in
Ergebnisse eines Mathematischen Kolloquiums (ed. Egbert Dierker
and Karl Sigmund), Springer-Verlag (Vienna, 1998).


Reprint of item 10. Pages 401-417 in Classics from the
Mathematical Intelligencer
(ed. Robin Wilson and Jeremy Gray),
Springer-Verlag (New York, 2000).


The Kentucky Vietnam veterans memorial.
The Mathematical Intelligencer 23:2(2001), 56-58.


Max Dehn, Kurt Gödel, and the trans-Siberian escape route.
Internationale mathematische Nachrichten 189
(April 2002), 1-13.


Reprint of item 32. Notices of the American Mathematical Society
49:9 (October 2002), 1068-1075.


Correction, 50:1 (January 2003), 62.


Future tasks for Gödel scholars (with Cheryl A. Dawson), Bulletin of Symbolic Logic 11:2 (June 2005), 150-171


In quest of Kurt Gödel: reflections of a biographer, Notices of the American Mathematical Society 53:4 (April, 2006), 440-443


Why do mathematicians re-prove theorems?, Philosophia Mathematica (III) 14:3 (2006), 269-286.


Reprint of item 37, in Internationale mathematische Nachrichten 204 (2007), 1-22.


(with Karl Sigmund), Gödel's Vienna, The Mathematical Intelligencer 28:3 (2006), 44-55


Kurt Gödel: A genius at odds with the Zeitgeist. Pages 15-22 in Meze formalizace, analytičnosti a prostoročasu [Limits of formalization, analyticity and spacetime],Filosofia - nakladatelství Filoso-fického ústavu AV CR (Prague,2007). On-line version: Journal of Physics: Conference Series 82 (2007)012008 (IOP Publishing). URL: http://www.iop.org/EJ/abstract/1742-6596/82/1/012008/


Reprint of item 34, in Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, vol. 33), ed. Solomon Feferman, Charles Parsons and Stephen G. Simpson (Association for Symbolic Logic, 2008).

 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


 Kurt Gödel at Notre Dame (distributed to attendees at the annual meeting of the Association for Symbolic Logic, Notre Dame, IN, May 2009)

 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.

 Kurt Gödel: Das Album/The Album. (Catalog of the Gödel Centenary Exhibition in Vienna; co-editor and trans- lator, with Karl Sigmund and Kurt Mühlberger.) Vieweg, Wiesbaden, 2006. See also the web site http//www. goedelexhibition.at/start/.

 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.

Chinese translation by Tang Lu: Logi de kuen ging Goedel zjuan. Hunan Science and Technology Press, Changsha, 2009.

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

The unity of mathematics: Distinctive characteristic or exaggerated claim? Pages 1-19 in Philosophical Perspectives on Mathematical Practice (Texts in Philosophy, vol. 12), ed. Bart Van Kerkhove, Jonas De Vuyst, and Jean Paul Van Bendegem (College Publications, London, 2010).

 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

Jean van Heijenoort and the Gödel editorial project, to appear in Logica Universalis (van Heijenoort centenary issue, 2012).

 Lectures available online

Companion stars: Albert Einstein and Kurt Gödel at the Institute for Advanced Study. http://forum.wgbh.org/node/3191

At odds with the Zeitgeist: Kurt Gödel's life and work. http://video.ias.edu/Godel-Centenary