William W. Tait

Learn More
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, PRA; and in 1981, in(More)