|
2
|
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
|
|
5
|
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
– Richard Zach
- 2001
|
|
4
|
"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
– Jeremy Avigad, Erich H. Reck
- 2001
|
|
|
Arithmetic and the Incompleteness Theorems
– Richard W. Kaye
- 2000
|
|
|
UNDECIDABLE PROBLEMS: A SAMPLER
– Bjorn Poonen
|
|
4
|
Nonmonotonic Reasoning
– V. W. Marek, A. Nerode
- 1993
|
|
|
A Study of Logic and Programming via Turing Machines
– Jerry M. Lodder
|
|
1
|
Historical Projects in Discrete Mathematics and Computer Science
– Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
1
|
Computing Rational Points on Curves
– Bjorn Poonen
- 2000
|
|
|
History of Constructivism in the 20th Century
– A.S. Troelstra
|
|
3
|
Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic
– Richard Zach
|
|
|
The development of programs for the foundations of mathematics in the first third of the 20th century
– Solomon Feferman
|
|
|
Henkin’s Method and the Completeness Theorem
– Guram Bezhanishvili
|
|
|
On Rereading van Heijenoort’s Selected Essays
– Logica Universalis, Solomon Feferman
|
