Repository | Directory | Profile
References
David Hilbert
Articles (2000-2009)
X2003
Synthese 137/1-2
On the meaning of Hilbert's consistency problem (Paris, 1900)
2003
Synthese 137/1-2
2003
Synthese 137/1-2
The pragmatism of Hilbert's programme
2003
Synthese 137/1-2
The Russellian influence on Hilbert and his school
2003
Synthese 137/1-2
De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
2005
Philosophia Scientiae 9/2
On the epistemological justification of Hilbert's metamathematics
2005
Philosophia Scientiae 9/2
2005
Synthese 147/1
Reflections on Frege and Hilbert
2005
Synthese 147/1
The constructive Hilbert program and the limits of Martin-Löf type theory
2005
Synthese 147/1
Méthode axiomatique et négation chez Hilbert
2007
Philosophia Scientiae 11/2
Hilbert, logicism, and mathematical existence
2009
Synthese 170/1
Le concept d'espace chez Veronese
2009
Philosophia Scientiae 13/2