267 search results - page 2 / 54 » his 2008 |
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...
HIS
2008
13 years 6 months ago
2008
INTETAIN
2005
Springer
13 years 11 months ago
2005
Springer
The Compass20083 project is a sino-german cooperation, aiming at integrating advanced information technologies to create a hightech information system that helps visitors to access...
SYNTHESE
2008
13 years 5 months ago
2008
David Lewis's genuine modal realism is a controversial thesis in modal metaphysics. Charles Chihara and Ross Cameron have each argued that Lewis's defence of his thesis i...
SIGMOD
2008
ACM
13 years 4 months ago
2008
ACM
Jim Gray spent a decade as a student and researcher at Berkeley. In action, he is remembered for his breath, his depth, and his generosity. Categories and Subject Descriptors K.1 ...