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 finitist arithmetic coincides with primitive recursive arithmetic,Add to Reading ListSource URL: home.uchicago.eduDownload Document from Source WebsiteFile Size: 130,17 KBShare Document on Facebook |