#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2000

2006

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- MATTHIAS SCHIRN
- 2005

In his paper “Finitism” (1981), W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert’s conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is… (More)

- Matthias Schirn
- Synthese
- 2006

tained that the chief difficulty for everyone who wishes to understand Hilbert’s conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argued that all finitist reasoning is essentially primitive recursive. In our paper, we… (More)

- ‹
- 1
- ›