| Publication | Date of Publication | Type |
|---|
Book review of: J. von Plato, Can mathematics be proved consistent? Gödel's shorthand notes \& lectures on incompleteness
Philosophia Mathematica. Series III | 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
BSHM Bulletin: Journal of the British Society for the History of Mathematics | 2018-12-10 | Paper |
Obituary for Ivor Grattan-Guinness (1941–2014)
History and Philosophy of Logic | 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.
Historia Mathematica | 2016-02-25 | Paper |
| Why prove it again? Alternative proofs in mathematical practice. With the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub | 2015-04-30 | Paper |
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
History and Philosophy of Logic | 2015-03-25 | Paper |
Federal regulation and aggregate economic growth
Journal of Economic Growth | 2013-10-14 | Paper |
Jean van Heijenoort and the Gödel editorial project
Logica Universalis | 2013-03-15 | Paper |
| The unity of mathematics. Distinctive characteristic or exaggerated claim? | 2011-05-09 | Paper |
| scientific article; zbMATH DE number 5859772 (Why is no real title available?) | 2011-03-02 | Paper |
| Gödel's Vienna | 2009-02-26 | Paper |
Gödel's Vienna
The Mathematical Intelligencer | 2009-02-11 | Paper |
Why Do Mathematicians Re-prove Theorems?
Philosophia Mathematica | 2007-06-19 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
| scientific article; zbMATH DE number 5037242 (Why is no real title available?) | 2006-06-29 | Paper |
| Kurt Gödel. The Album. With a preface by Hans Magnus Enzensberger | 2006-05-09 | Paper |
Future Tasks for Gödel Scholars
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2203238 (Why is no real title available?) | 2005-09-06 | Paper |
| scientific article; zbMATH DE number 2161110 (Why is no real title available?) | 2005-04-23 | Paper |
| scientific article; zbMATH DE number 2115023 (Why is no real title available?) | 2004-11-11 | Paper |
What hath Gödel wrought?
Synthese | 2000-02-23 | Paper |
Logical dilemmas: the life and work of Kurt Gödel
Computerkultur | 1999-08-29 | Paper |
The link between volatility and growth: Evidence from the States
Economics Letters | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 785421 (Why is no real title available?) | 1995-08-15 | Paper |
The compactness of first-order logic:from gödel to lindström
History and Philosophy of Logic | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 69308 (Why is no real title available?) | 1992-10-26 | Paper |
| scientific article; zbMATH DE number 15306 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 3997740 (Why is no real title available?) | 1986-01-01 | Paper |
Completing the Gödel-Zermelo correspondence
Historia Mathematica | 1985-01-01 | Paper |
Addenda and Corrigenda to The published work of Kurt Gödel
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
Kurt Gödel in sharper focus
The Mathematical Intelligencer | 1984-01-01 | Paper |
Discussion on the foundation of mathematics
History and Philosophy of Logic | 1984-01-01 | Paper |
The published work of Kurt Goedel: An annotated bibliography
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
Factorials of infinite cardinals
Fundamenta Mathematicae | 1976-01-01 | Paper |
Corrigendum
Annals of Mathematical Logic | 1974-01-01 | Paper |
Ordinal definability in the rank hierarchy
Annals of Mathematical Logic | 1973-01-01 | Paper |
