History of Constructivism in the 20th Century


Download Links

by A.S. Troelstra

Active Bibliography

Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels. – James Lipton, Lauchli Countermodels, Michael J. O'donnell - 1996
1 Intuitive Counterexamples for Constructive Fallacies – James Lipton, Michael J. O'donnell - 1994
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
On the imaginative constructivist nature of design: a theoretical approach – Akın O. Kazakçı
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
6 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997
3 Relationships between constructive, predicative, and classical systems of analysis – Solomon Feferman
1 Constructive Mathematics and Quantum Physics – Douglas Bridges, Karl Svozil - 1999
9 Ordered Groups: A Case Study In Reverse Mathematics – Reed Solomon - 1999
Understanding Intuitionism – Edward Nelson, I Have Proved Ab - 1997
1 Truth and the foundations of mathematics. An introduction – H. G. Dales, G. Oliveri
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
4 Hilbert’s Program Then and Now – Richard Zach - 2005
15 Basic logic: reflection, symmetry, visibility – Giovanni Sambin, Giulia Battilotti - 1997
Characterizing the interpretation of set theory in Martin-Löf type – Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
4 Choice principles in constructive and classical set theories – Michael Rathjen - 2002
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
1 Metamathematical Properties of Intuitionistic Set Theories with Choice Principles – Michael Rathjen
2 Formalizing Automata II: Decidable Properties – Robert L. Constable