John W. jun. Dawson

Available identifiers

zbMath Open dawson.john-w-junWikidataQ6262220 ScholiaQ6262220MaRDI QIDQ246137

List of research outcomes

Publication	Date of Publication	Type
Book review of: J. von Plato, Can mathematics be proved consistent? Gödel's shorthand notes \& lectures on incompleteness	2024-06-07	Paper
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age, by Jan Von Plato	2018-12-10	Paper
Obituary for Ivor Grattan-Guinness (1941–2014)	2017-02-22	Paper
Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933.	2016-02-25	Paper
Why Prove it Again?	2015-04-30	Paper
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth	2015-03-25	Paper
Federal regulation and aggregate economic growth	2013-10-14	Paper
Jean van Heijenoort and the Gödel editorial project	2013-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q2997762	2011-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q3079615	2011-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3606225	2009-02-26	Paper
Gödel's Vienna	2009-02-11	Paper
Why Do Mathematicians Re-prove Theorems?	2007-06-19	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q5477999	2006-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q5291084	2006-05-09	Paper
Future Tasks for Gödel Scholars	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5315022	2005-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4671131	2005-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4826658	2004-11-11	Paper
What hath Gödel wrought?	2000-02-23	Paper
Logical dilemmas: the life and work of Kurt Gödel	1999-08-29	Paper
The link between volatility and growth: Evidence from the States	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4842677	1995-08-15	Paper
The compactness of first-order logic:from gödel to lindström	1994-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4014775	1992-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q3977628	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4724583	1986-01-01	Paper
Completing the Gödel-Zermelo correspondence	1985-01-01	Paper
Addenda and Corrigenda to The published work of Kurt Gödel	1984-01-01	Paper
Kurt Gödel in sharper focus	1984-01-01	Paper
Discussion on the foundation of mathematics	1984-01-01	Paper
The published work of Kurt Goedel: An annotated bibliography	1983-01-01	Paper
Factorials of infinite cardinals	1976-01-01	Paper
Corrigendum	1974-01-01	Paper
Ordinal definability in the rank hierarchy	1973-01-01	Paper

Research outcomes over time

This page was built for person: John W. jun. Dawson