Sciweavers

FCS
2008
14 years 13 days ago
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
Abstract We define a finitary model of firstorder Peano Arithmetic in which quantification is interpreted constructively in terms of Turingcomputability, and show that it is incons...
Bhupinder Singh Anand
FCS
2008
14 years 13 days ago
A Finitary Model of Peano Arithmetic
We define a finitary model of first-order Peano Arithmetic in which satisfaction and quantification are interpreted constructively in terms of Turing-computability.
Bhupinder Singh Anand