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,

First Page		Document Content
Date: 2001-09-04 16:12:18		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 Source URL: home.uchicago.edu Download Document from Source Website File Size: 130,17 KB Share Document on Facebook