John W. Dawson Jr. (born February 4, 1944) is Professor of Mathematics, Emeritus at Pennsylvania State University at York. Born in

Wichita, Kansas Wichita ( ) is the largest city in the U.S. state of Kansas and the county seat of Sedgwick County, Kansas, Sedgwick County. As of the 2020 United States census, 2020 census, the population of the city was 397,532. The Wichita metro area had ...

, he attended

M.I.T. The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the m ...

as a

National Merit Scholar The National Merit Scholarship Program is a United States academic scholarship competition for recognition and university scholarships administered by the National Merit Scholarship Corporation (NMSC), a privately funded, not-for-profit organizati ...

before earning a doctorate in

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

from the

University of Michigan , mottoeng = "Arts, Knowledge, Truth" , former_names = Catholepistemiad, or University of Michigania (1817–1821) , budget = $10.3 billion (2021) , endowment = $17 billion (2021)As o ...

in 1972. An internationally recognized authority on the life and work of

Kurt Gödel Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imme ...

, Professor Dawson is the author of numerous articles on

axiomatic set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, ...

and the history of

modern logic Modern may refer to: History *Modern history ** Early Modern period ** Modern age, Late Modern period *** 18th century *** 19th century *** 20th century ** Contemporary history * Moderns, a faction of Freemasonry that existed in the 18th century ...

. During the years 1982 to 1984, he catalogued Gödel's papers at the

Institute for Advanced Study The Institute for Advanced Study (IAS), located in Princeton, New Jersey, in the United States, is an independent center for theoretical research and intellectual inquiry. It has served as the academic home of internationally preeminent scholar ...

Princeton Princeton University is a private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the nine ...

, and afterward he served as a co-editor of Gödel's Collected Works. He recently retired as co-Editor-in-Chief of the journal ''History and Philosophy of Logic''.Editorial Board
''History and Philosophy of Logic'',

Taylor and Francis Taylor & Francis Group is an international company originating in England that publishes books and academic journals. Its parts include Taylor & Francis, Routledge, F1000 Research or Dovepress. It is a division of Informa plc, a United Ki ...

. Accessed January 28, 2010

Books by Dawson

*John W. Dawson Jr, 1997. ''Logical Dilemmas: The Life and Work of Kurt Gödel'', A. K. Peters, Wellesley, MA, *John W. Dawson Jr, 2015. ''Why Prove it Again? Alternative Proofs in Mathematical Practice'',

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

, Chaim,

Additional publications

*Dawson, John W. Jr. ''The published work of Kurt Gödel: an annotated bibliography''. ''

Notre Dame J. Formal Logic The ''Notre Dame Journal of Formal Logic'' is a quarterly peer-reviewed scientific journal covering the foundations of mathematics and related fields of mathematical logic, as well as philosophy of mathematics. It was established in 1960 and is pub ...

'' 24 (1983), no. 2, 255–284.

References

External links

Dr. John Dawson, personal webpage
Pennsylvania State University at York 1944 births Living people People from Wichita, Kansas 20th-century American mathematicians 21st-century American mathematicians Mathematical logicians American philosophy academics American historians of philosophy Set theorists Massachusetts Institute of Technology alumni University of Michigan alumni Institute for Advanced Study visiting scholars American book editors {{US-mathematician-stub