Corpus ID: 124695609

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

@inproceedings{Zach2001HilbertsFH,
  title={Hilbert's Finitism: Historical, Philosophical, and Metamathematical Perspectives},
  author={Richard Zach},
  year={2001}
}
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives 
On the concept of finitism
TLDR
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
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-calledExpand
Lectures on Jacques Herbrand as a Logician
TLDR
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
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 bothExpand
Author ' s personal copy JACQUES HERBRAND : LIFE , LOGIC , AND AUTOMATED DEDUCTION
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
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 theExpand
SEKI is published by the following institutions : German Research
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 inExpand
M ar 2 02 1 Indeterminism and Undecidability
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’sExpand
Multiple-Valued Tableaux with delta-reductions
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, BrianExpand
Essay Review
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 hisExpand
...
1
2
...

References

SHOWING 1-10 OF 138 REFERENCES
Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics
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
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, ANDExpand
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s
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.
The description for this book, Science Without Numbers: The Defence of Nominalism, will be forthcoming.
David Hilbert and the axiomatization of physics (1894–1905)
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 uneExpand
The Reception of Gödel's Incompleteness Theorems
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-whoseExpand
A Survey Of Symbolic Logic
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 ofExpand
Du formalisme à la constructivité: le finitisme
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 etExpand
Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
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 inExpand
Hilbert's Epistemology
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 theoryExpand
...
1
2
3
4
5
...