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.

• Type: Conference
• Year: 2008
• Where: FCS
• Authors: Bhupinder Singh Anand
• Keywords: Computer Science, FCS 2008, Finitary Model, Firstorder Peano Arithmetic, Standard Interpretation