87
Voted
FCS
2008
15 years 18 days ago
2008
78
Voted
FCS
2008
2008
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
15 years 18 days 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...
71
Voted
FCS
2008
15 years 18 days ago
2008
58
Voted
FCS
2008
15 years 18 days ago
2008
66
Voted
FCS
2008
15 years 18 days 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
15 years 18 days ago
2008
Abstract. Autonomous scheduling deals with the problem - how to enable agents to schedule a set of interdependent tasks in such a way that whatever schedule they choose for their t...