# Hilbert's Finitism: Historical, Philosophical, and Metamathematical Perspectives

@inproceedings{Zach2001HilbertsFH, title={Hilbert's Finitism: Historical, Philosophical, and Metamathematical Perspectives}, author={R. Zach}, year={2001} }

Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives

#### 17 Citations

On the concept of finitism

- Philosophy, Computer Science
- Synthese
- 2014

This paper argues that this characterization of finitistic mathematics can in fact be sharpened in various ways, giving rise to different conceptions of finitism. Expand

STUDIES IN LOGIC, GRAMMAR AND RHETORIC 9 (22) 2006

- 2007

Information science is based on the idea of computation. In the 20th century that idea was developed in connection with the problem of decidability. David Hilbert’s formulation of the so-called… Expand

Lectures on Jacques Herbrand as a Logician

- Mathematics, Computer Science
- ArXiv
- 2009

The well-known correction of Herbrand's False Lemma by Goedel and Dreben is presented, and the hardly known unpublished correction of Heijenoort and its consequences on herbrand's Modus Ponens Elimination are presented. Expand

CARNAP, TARSKI, AND QUINE'S YEAR TOGETHER: LOGIC, MATHEMATICS, AND SCIENCE

- Mathematics
- 2006

During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard: Russell, Tarski, Carnap, Quine, Hempel, and Goodman were all in residence. This group held both… Expand

Author ' s personal copy JACQUES HERBRAND : LIFE , LOGIC , AND AUTOMATED DEDUCTION

- 2008

This chapter was originally published in the book Handbook of the History of Logic. The copy attached is provided by Elsevier for the author’s benefit and for the benefit of the author’s institution,… Expand

Emil Post and His Anticipation of Gödel and Turing

- Mathematics
- 2004

Emil Post is known to specialists in mathematical logic for several ideas in logic and computability theory: the structure theory of recursively enumerable sets, degrees of unsolvability, and the… Expand

SEKI is published by the following institutions : German Research

- 2007

We give some lectures on the work on formal logic of Jacques He rbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in… Expand

M ar 2 02 1 Indeterminism and Undecidability

- 2021

The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin’s… Expand

Multiple-Valued Tableaux with delta-reductions

- Computer Science, Mathematics
- IC-AI
- 1999

11a. Georg Moser and Richard Zach, “Complexity of elimination procedures in the epsilon calculus”, Bulletin of Symbolic Logic 12 (2006) 341–342. 10a. Andrew Arana, Michael Glanzberg, Ted Sider, Brian… Expand

Essay Review

- 2008

William W. Tait, who has spent most of his career in Chicago, first at The University of Illinois and then at the University of Chicago, has done his colleagues—and students unfamiliar with his… Expand

#### References

SHOWING 1-10 OF 139 REFERENCES

Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics

- Philosophy
- 2001

I. ONTOLOGY AND ABSTRACTION PRINCIPLES II. RESPONSES TO CRITICS III. HUME'S PRINCIPLE IV. ON THE DIFFERENTIATION OF ABSTRACTA V. BEYOND NUMBER-THEORY

The philosophy of mathematics today

- Computer Science
- 1998

PART I: ONTOLOGY, MODELS, AND INDETERMINACY PART II: MATHEMATICS, SCIENCE, AND METHOD PART III: FINITISM AND INTUITIONISM PART IV: FREGE AND THE FOUNDATIONS OF ARITHMETIC PART V: SETS, STRUCTURE, AND… Expand

From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s

- Mathematics
- 1997

Section 1 L.E.J. BROUWER Section 2 H. WEYL Section 3 P. BERNAYS AND D. HILBERT Section 4 INTUITIONISTIC LOGIC Index

Science Without Numbers: A Defence of Nominalism.

- Philosophy
- 1980

The description for this book, Science Without Numbers: The Defence of Nominalism, will be forthcoming.

David Hilbert and the axiomatization of physics (1894–1905)

- Physics
- 1997

Le mathematicien D. Hilbert demontra les analogies entre la geometrie et les sciences physiques telles que la thermodynamique, la mecanique, l'electrodynamique et la cinetique des gaz, grâce a une… Expand

The Reception of Gödel's Incompleteness Theorems

- Mathematics
- 1984

It is natural to invoke geological metaphors to describe the impact and the lasting significance of Godel’s incompleteness theorems. Indeed, how better to convey the impact of those results-whose… Expand

A Survey Of Symbolic Logic

- Mathematics
- 1918

Modern interest in modal logic began with this seminal work by the American C.I. Lewis. As well as developing a theory of strict implication based on criticism of Russell and Whitebread's concept of… Expand

Du formalisme à la constructivité: le finitisme

- Philosophy
- 1993

L'A. etudie le finitisme de Hilbert, defini dans son programme de recherche sur le concept de demonstration mathematique. Ce dernier propose une synthese entre constructivite, axiomatique et… Expand

Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems

- Philosophy
- 1999

What were the earliest reactions to Godel's incompleteness theorems? After a brief summary of previous work in this area I analyse, by means of unpublished archival material, the first reactions in… Expand

Hilbert's Epistemology

- Philosophy
- Philosophy of Science
- 1976

Hilbert's program attempts to show that our mathematical knowledge can be certain because we are able to know for certain the truths of elementary arithmetic. I argue that, in the absence of a theory… Expand