Sciweavers

Share
FCS
2008

Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification

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 inconsistent with the standard interpretation of PA.
Bhupinder Singh Anand
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where FCS
Authors Bhupinder Singh Anand
Comments (0)
books