The Practice of Finitism
Epsilon Calculus and Consistency Proofs in Hilbert's Program
Bibliographic Data
| ID | 10810990 |
|---|---|
| Authors | Richard Zach (0000-0003-1633-8324, University of Calgary, corresponding author) |
| Year | 2003 |
| Volume | 137 |
| Issue | 1-2 |
| Pages | 211-259 |
| Publication date | 2003-11-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1023/a:1026247421383 |
| OpenAlex | W2137996347 |
| Language | EN |
| Citations received | 7 |
| References cited | 22 |
Ackermann function · Algebra over a field · Axiom · Calculus (dental) · Consistency (knowledge bases) · Development (topology) · Discrete mathematics · Epistemology · Foundations of mathematics · Mathematical proof · Mathematics education · Modal · Modal logic · Philosophy of science · Pure mathematics · Computability, Logic, AI Algorithms · Computer Science · History and Theory of Mathematics · Logic, programming, and type systems · Mathematics · Philosophy
Wittgenstein in the 1930s
An Introduction to Proof Theory
Success and Opportunism in Hilbert’s and von Neumann’s Methodological Reflections
Gödel, Gentzen, and Constructive Consistency Proofs
The philosophical significance of Gödel's Dialectica interpretation
New life for Carnap’s Aufbau
A choice-semantical approach to theoretical truth
| Unique citing works | 7 |
|---|---|
| Citations per year | 0.47 |
| Citation span | 2011 - 2025 (15) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 6 |