Sciweavers

Share
7 search results - page 1 / 2
» fcs 2008
Sort
View
FCS
2008
8 years 3 months ago
Snack Attack: An Exploration of Collaborative Learning
James Tyson, James Kriigel, Jon Preston, Byron Jef...
FCS
2008
8 years 3 months 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
FCS
2008
8 years 3 months 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
books