John W. jun. Dawson

From MaRDI portal
Person:246137

Available identifiers

zbMath Open dawson.john-w-junWikidataQ6262220 ScholiaQ6262220MaRDI QIDQ246137

List of research outcomes





PublicationDate of PublicationType
Book review of: J. von Plato, Can mathematics be proved consistent? Gödel's shorthand notes \& lectures on incompleteness2024-06-07Paper
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age, by Jan Von Plato2018-12-10Paper
Obituary for Ivor Grattan-Guinness (1941–2014)2017-02-22Paper
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-25Paper
Why Prove it Again?2015-04-30Paper
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth2015-03-25Paper
Federal regulation and aggregate economic growth2013-10-14Paper
Jean van Heijenoort and the Gödel editorial project2013-03-15Paper
https://portal.mardi4nfdi.de/entity/Q29977622011-05-09Paper
https://portal.mardi4nfdi.de/entity/Q30796152011-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36062252009-02-26Paper
Gödel's Vienna2009-02-11Paper
Why Do Mathematicians Re-prove Theorems?2007-06-19Paper
Logical Approaches to Computational Barriers2007-04-30Paper
https://portal.mardi4nfdi.de/entity/Q54779992006-06-29Paper
https://portal.mardi4nfdi.de/entity/Q52910842006-05-09Paper
Future Tasks for Gödel Scholars2006-02-08Paper
https://portal.mardi4nfdi.de/entity/Q53150222005-09-06Paper
https://portal.mardi4nfdi.de/entity/Q46711312005-04-23Paper
https://portal.mardi4nfdi.de/entity/Q48266582004-11-11Paper
What hath Gödel wrought?2000-02-23Paper
Logical dilemmas: the life and work of Kurt Gödel1999-08-29Paper
The link between volatility and growth: Evidence from the States1998-07-22Paper
https://portal.mardi4nfdi.de/entity/Q48426771995-08-15Paper
The compactness of first-order logic:from gödel to lindström1994-08-28Paper
https://portal.mardi4nfdi.de/entity/Q40147751992-10-26Paper
https://portal.mardi4nfdi.de/entity/Q39776281992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q47245831986-01-01Paper
Completing the Gödel-Zermelo correspondence1985-01-01Paper
Addenda and Corrigenda to The published work of Kurt Gödel1984-01-01Paper
Kurt Gödel in sharper focus1984-01-01Paper
Discussion on the foundation of mathematics1984-01-01Paper
The published work of Kurt Goedel: An annotated bibliography1983-01-01Paper
Factorials of infinite cardinals1976-01-01Paper
Corrigendum1974-01-01Paper
Ordinal definability in the rank hierarchy1973-01-01Paper

Research outcomes over time

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