PhilSci Archive

Takeuti's Well-Ordering Proof: Finitistically Fine?

Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Takeuti's Well-Ordering Proof: Finitistically Fine? [Preprint]

WarningThere is a more recent version of this item available.
[img]
Preview
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:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Darnell, Eamoneamon.darnell@mail.toronto.ca
Thomas-Bolduc, Aaronathomasb@ucalgary.ca0000-0001-9955-2371
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: http://philsci-archive.pitt.edu/id/eprint/14259

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item