Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Takeuti's Well-Ordering Proof: Finitistically Fine? [Preprint]
 | There is a more recent version of this item available. |
|
Text
Takeuti.pdf Download (150kB) | Preview |
Abstract
If it could be shown that one of Gentzen's consistency proofs for pure number theory could be shown to be finitistically acceptable, an important part of Hilbert's program would be vindicated. This paper focuses on whether the transfinite induction on ordinal notations needed for Gentzen's second proof can be finitistically justified. In particular, the focus is on Takeuti's purportedly finitistically acceptable proof of the well-ordering of ordinal notations in Cantor normal form.
The paper begins with a historically informed discussion of finitism and its limits, before introducing Gentzen and Takeuti's respective proofs. The rest of the paper is dedicated to investigating the finitistic acceptability of Takeuti's proof, including a small but important fix to that proof. That discussion strongly suggests that there is a philosophically interesting finitist standpoint that Takeuti's proof, and therefore Gentzen's proof, conforms to.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Creators: |
|
|||||||||
| Keywords: | Takeuti, Hilbert, finitism, constructivism, proof theory | |||||||||
| Subjects: | Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic |
|||||||||
| Depositing User: | Aaron Thomas-Bolduc | |||||||||
| Date Deposited: | 04 Jan 2018 23:55 | |||||||||
| Last Modified: | 04 Jan 2018 23:55 | |||||||||
| Item ID: | 14259 | |||||||||
| Subjects: | Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic |
|||||||||
| Date: | 2018 | |||||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/14259 |
Available Versions of this Item
- Takeuti's Well-Ordering Proof: Finitistically Fine? (deposited 04 Jan 2018 23:55) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}