Synthese 137 (1-2):157 - 177 (2003)
After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
Proof-Theoretic Reduction as a Philosopher's Tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
“Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.Jeremy Avigad - manuscript
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on Finitism, Constructivity and Hilbert's Program.Solomon Feferman - 2008 - Dialectica 62 (2: Table of Contents"/> Select):179–203.
The Russellian Influence on Hilbert and His School.Paolo Mancosu - 2003 - Synthese 137 (1-2):59 - 101.
Newell's Program, Like Hilbert's, is Dead; Let's Move On.Yingrui Yang & Selmer Bringsjord - 2003 - Behavioral and Brain Sciences 26 (5):627-627.
Added to index2009-01-28
Total downloads142 ( #33,844 of 2,178,175 )
Recent downloads (6 months)47 ( #4,747 of 2,178,175 )
How can I increase my downloads?