Jump to content

John W. Dawson Jr.

From Wikipedia, the free encyclopedia
(Redirected from John W. Dawson, Jr.)
John W. Dawson Jr.
Born (1944-02-04) February 4, 1944 (age 80)
Academic background
EducationMassachusetts Institute of Technology (BS)
University of Michigan (PhD)
Academic work
DisciplineMathematics
Sub-disciplineMathematical logic
Set theory
History of logic
InstitutionsPrinceton University
Penn State York

John W. Dawson Jr. (born February 4, 1944)[1] is an American academic who is an emeritus professor of mathematics at Penn State York.

Early life and education

[edit]

Born in Wichita, Kansas, Dawson attended the Massachusetts Institute of Technology as a National Merit Scholar before earning a doctorate in mathematical logic from the University of Michigan in 1972.[2]

Career

[edit]

An internationally recognized authority on the life and work of Kurt Gödel, Dawson is the author of numerous articles on axiomatic set theory and the history of modern logic. From 1982 to 1984, he catalogued Gödel's papers at the Institute for Advanced Study. He also served as a co-editor of Gödel's Collected Works. He retired as co-editor-in-chief of the journal History and Philosophy of Logic.[3]

Books by Dawson

[edit]
  • John W. Dawson Jr, 1997. Logical Dilemmas: The Life and Work of Kurt Gödel, A. K. Peters, Wellesley, MA, ISBN 1-56881-256-6
  • John W. Dawson Jr, 2015. Why Prove it Again? Alternative Proofs in Mathematical Practice, Springer, Chaim, ISBN 978-3-319-17367-2

Additional publications

[edit]
  • Dawson, John W. Jr. The published work of Kurt Gödel: an annotated bibliography. Notre Dame J. Formal Logic 24 (1983), no. 2, 255–284.

References

[edit]
  1. ^ Date information sourced from Library of Congress Authorities data, via corresponding WorldCat Identities linked authority file (LAF).
  2. ^ John William Dawson Jr., Mathematics Genealogy Project. Accessed January 28, 2010
  3. ^ Editorial Board, Archived 2010-07-04 at the Wayback Machine History and Philosophy of Logic, Taylor and Francis. Accessed January 28, 2010
[edit]