Conceptions of the Continuum

by Solomon Feferman

Active Bibliography

3 Is the Continuum Hypothesis a definite mathematical problem? – Solomon Feferman
In Defense of the Ideal 2nd DRAFT – W. W. Tait
Gödel on Intuition and on Hilbert’s finitism – W. W. Tait
Intuition in Mathematics – Elijah Chudnoff
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
• allow relations F n and G n (n ≥ 1) to be distinct even when The Theory of Relations, Complex Terms, and a Connection Between λ and ɛ Calculi – Edward N. Zalta
4 Hilbert’s Program Then and Now – Richard Zach - 2005
Proof and Computation in Geometry – Michael Beeson
5 A formal system for Euclid’s elements – Jeremy Avigad, Edward Dean, John Mumma, Jeremy Avigad, Edward Dean, John Mumma - 2009
TeachingGeometry According to Euclid – Robin Hartshorne Notices, Robin Hartshorne
4 Boolean relation theory and . . . – Harvey M. Friedman - 2011
1 2010a, “Evolution without Naturalism – Elliott Sober, Bence Nanay, Peter Nichols, Er Paseau, Er Rosenberg, Michael Ruse
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
The cognitive basis of arithmetic – Helen De Cruz, Hansjörg Neth, Dirk Schlimm
1 Space-time Geometry Translated into the Hegelian and Intuitionist Systems – Stephen P. Smith
. Methodology and metaphysics in the – Jeremy Avigad, Jeremy Avigad - 2005