Primitive recursive arithmetic - Document - PDFSEARCH.IO

First Page	Meta Content
	REMARKS ON FINITISM W. W. TAIT† The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that ﬁnitist arithmetic coincides with primitive recursive arithmetic, Add to Reading List Document Date: 2001-09-04 16:12:18 Open Document File Size: 130,17 KB Share Result on Facebook City Berlin / Amsterdam / Darmstadt / Edinburgh / / Company Oxford University Press / / Country Netherlands / / IndustryTerm nitist systems / / Organization International Congress / Oxford University / Association for Symbolic Logic / / Person Solomon Feferman / Howard Stein / P. Mancosu / Richard Zach / Stefan Bauer-Mengelberg / Hilbert / / Position editor / / PublishedMedium Mathematische Annalen / / SocialTag Theoretical computer science Theory of computation Recursion Functions and mappings Primitive recursive function Primitive recursive arithmetic Constructivism Ackermann function Function Mathematics

REMARKS ON FINITISM W. W. TAIT† The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that ﬁnitist arithmetic coincides with primitive recursive arithmetic,Add to Reading List