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


FOUNDATIONS OF EUCLIDEAN CONSTRUCTIVE GEOMETRY
– Michael Beeson


ARISTOTELIAN REALISM
– James Franklin


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

Spacetime Geometry Translated into the Hegelian and Intuitionist Systems
– Stephen P. Smith


. Methodology and metaphysics in the
– Jeremy Avigad, Jeremy Avigad
 2005
