John W. Dawson (mathematician)

John William Dawson Junior (born February 4, 1944 in Wichita ) is an American mathematical logician and mathematician.

Dawson went to school in Wichita and studied mathematics from 1962 at the Massachusetts Institute of Technology with a bachelor's degree in 1966 and at the University of Michigan in Ann Arbor with a doctorate under David Kueker (and AR Blass) in 1972 ( Definability of Ordinals in the Rank-Hierarchy of Set Theory ). He is a professor of mathematics at Pennsylvania State University .

He cataloged Kurt Gödel's estate at the Institute for Advanced Study until 1984 and wrote a biography of Gödel, which is considered a standard work.

He was an associate editor of the History and Philosophy of Logic magazine .

Fonts

He is co-editor of Kurt Gödel's Collected Works, Oxford University Press, 5 volumes, 1986–2003, with Solomon Feferman , Warren Goldfarb, Stephen Kleene , Gregory H. Moore, Charles Parsons, Wilfried Sieg, Robert M. Solovay , Jean van Heijenoort .

• Kurt Gödel. Leben und Werk , Springer Verlag 1999, new edition as: Logical Dilemmas. Kurt Gödel - Life and Work , Springer Verlag 2007
  • English original: Logical Dilemmas: the life and work of Kurt Gödel , AK Peters 1997, also translated into Italian and Chinese
  • Review by Martin Davis, Notices AMS 2001, No. 8, pdf
• with Kurt Mühlberger, Karl Sigmund Kurt Gödel: Das Album , Vieweg 2006
• Gödel and the limits of logic, Scientific American, June 1999
• The golden age of mathematical logic, in The Cambridge History of Philosophy, 1870-1945 , Cambridge University Press, 2003, pp. 590-597
• Article by Kurt Gödel in Routledge Encyclopedia of Philosophy, Volume 4, 1998
• Kurt Gödel in sharper focus, Mathematical Intelligencer, Volume 6, Issue 4, 1984, pp. 9-17
• In Quest of Kurt Gödel. Reflections of a Biographer, Notices AMS, 2006, # 4
• Max Dehn, Kurt Gödel and the Transsibirian Escape Route, Notices AMS, 2002, No. 9
• The published work of Kurt Gödel: an annotated bibliography. Notre Dame J. Formal Logic, Volume 24, 1983, pp. 255-284

Web links

• Homepage

Individual evidence

1. ↑ Barbara Tinnucchi et al. a. Who's who in Technology Today , 1984
2. ^ Mathematics Genealogy Project
3. ↑ Whereby his wife Cheryl Dawson learned the special Gabelsberg shorthand with which Gödel created his notes
4. ↑ Martin Davis in Review of Biography, Notices American Mathematical Society, 2001, No. 8, describing it as a "definitive" and "masterful" biography