Matt Dillon - Document - PDFSEARCH.IO - Document Search Engine

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

UPDATE

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