John W. jun. Dawson

Available identifiers

zbMath Open dawson.john-w-junWikidataQ6262220 ScholiaQ6262220MaRDI QIDQ246137

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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