Hilbert’s twenty-fourth problem (2001)

Cached

Download Links

by Rüdiger Thiele
Venue:American Mathematical Monthly
Citations:9 - 4 self

Active Bibliography

4 Hilbert’s Program Then and Now – Richard Zach - 2005
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931) – Richard Zach
On Rereading van Heijenoort’s Selected Essays – Solomon Feferman - 2012
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
John von Neumann and Hilbert's School of Foundations of Mathematics ∗ – Roman Murawski, Adam Mickiewicz
UNDECIDABLE PROBLEMS: A SAMPLER – Bjorn Poonen
Gödel’s Incompleteness Theorems – Guram Bezhanishvili
5 Nonmonotonic Reasoning – V. W. Marek, A. Nerode - 1993
15-424: Foundations of Cyber-Physical Systems Lecture Notes on Dynamical Systems & Dynamic Axioms – André Platzer
A Study of Logic and Programming via Turing Machines – Jerry M. Lodder
development of computer science – J. Díaz C. Torras
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
5 The history and concept of computability – Robert I. Soare - 1999
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
A personal account of Turing’s imprint on the development of computer science – J. Díaz, C. Torras
32 Computability and recursion – Robert I. Soare - 1996
2 Computing Rational Points on Curves – Bjorn Poonen - 2000