9 search results - page 1 / 2 » fcs 2008 |
FCS
2008
13 years 6 months ago
2008
FCS
2008
13 years 6 months ago
2008
FCS
2008
13 years 6 months ago
2008
FCS
2008
13 years 6 months ago
2008
We define a finitary model of first-order Peano Arithmetic in which satisfaction and quantification are interpreted constructively in terms of Turing-computability.
FCS
2008
2008
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
13 years 6 months ago
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...