The epsilon calculus
Stanford Encyclopedia of Philosophy (2008)
| Abstract | The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesEdward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
René David & Walter Py (2001). -Calculus and Böhm's Theorem. Journal of Symbolic Logic 66 (1):407-413.
Hartley Slater (2005). Choice and Logic. Journal of Philosophical Logic 34 (2):207 - 216.
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
Peter B. M. Vranas (1998). Epsilon-Ergodicity and the Success of Equilibrium Statistical Mechanics. Philosophy of Science 65 (4):688-708.
Richard Zach (2003). The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synthese 137 (1-2):211 - 259.
B. H. Slater (1994). The Epsilon Calculus' Problematic. Philosophical Papers 23 (3):217-242.
Hartley Slater, Epsilon Calculi. Internet Encyclopedia of Philosophy.
Georg Moser & Richard Zach (2006). The Epsilon Calculus and Herbrand Complexity. Studia Logica 82 (1):133 - 155.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads12 ( #93,475 of 550,917 )Recent downloads (6 months)1 ( #63,425 of 550,917 )How can I increase my downloads? |
My notes
Discussion
