Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited

By Tait W. W.  

History and Philosophy of Logic, Vol. 32, Iss. 2, 2011-05 ,pp. : 177-183

Taylor & Francis Ltd

Access to resources Recommend Favorite

Leibniz's and Kant's Philosophical Ideas vs. Hilbert's Program

By  

Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 98, Iss. 1, 2011-01 ,pp. : 29-39

Rodopi

Access to resources Recommend Favorite

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

By Zach R.  

Synthese, Vol. 137, Iss. 1-2, 2003-11 ,pp. : 211-259

Springer Publishing Company

Access to resources Recommend Favorite

The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

By Rathjen Michael  

Synthese, Vol. 147, Iss. 1, 2005-10 ,pp. : 81-120

Springer Publishing Company

Access to resources Recommend Favorite

Hilbert Vindicated?

By Hintikka J.  

Synthese, Vol. 110, Iss. 1, 1997-01 ,pp. : 15-36

Springer Publishing Company

Access to resources Recommend Favorite