Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Reports on Mathematical Logic

1 2005

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Finitism = PRA ? On a thesis of W. W. Tait

Schirn M., Niebergall K. -G.

Reports on Mathematical Logic

2005

Nr 39

3-24

In his paper `Finitism' (1981), W.W.~Tait maintained 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 attempt to show that his thesis ``The finitist functions are precisely the primitive recursive functions'' is disputable and that another, likewise defended by him, is untenable. The second thesis is that the finitist theorems are precisely those $\Pi^0_1$-sentences that can be proved in (QF-IA).