|
2
|
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
|
|
|
Hilbert and Set Theory
– Burton Dreben , Akihiro Kanamori
- 1997
|
|
9
|
Number theory and elementary arithmetic
– Jeremy Avigad
- 2003
|
|
|
Statement
– unknown authors
|
|
8
|
Foundational and mathematical uses of higher types
– Ulrich Kohlenbach
- 1999
|
|
|
On the calculating power of Laplace’s demon (Part I)
– John Longley
- 2006
|
|
1
|
2010a, “Evolution without Naturalism
– Elliott Sober, Bence Nanay, Peter Nichols, Er Paseau, Er Rosenberg, Michael Ruse
|
|
2
|
Hilbert’s Program Then and Now
– Richard Zach
- 2005
|
|
|
ANALYSIS IN J2
– Nik Weaver
- 2005
|
|
8
|
Does Mathematics Need New Axioms?
– Solomon Feferman
- 1999
|
|
|
unknown title
– W. W. Tait
|
|
|
Space-time Geometry Translated into the Hegelian and Intuitionist Systems
– Stephen P. Smith
|
|
|
Russell’s Absolutism vs.(?)
– Geoffrey Hellman
|
|
|
ARISTOTELIAN REALISM
– James Franklin
|
|
|
Introduction to Categorical Foundations for Mathematics
– unknown authors
- 2008
|
|
|
All Rights ReservedARITHMETICAL KNOWLEDGE AND ARITHMETICAL DEFINABILITY: FOUR STUDIES
– Michael Detlefsen Co-director, Peter Cholak Co-director, Sean Walsh
- 2010
|
|
|
Foundations for Mathematical Structuralism ∗
– Uri Nodelman, Edward N. Zalta, Uri Nodelman, Edward N. Zalta
|
