Soru

In the early twentieth century, the foundational crisis of mathematics precipitated a stark ideological schism between L.E.J. Brouwer’s intuitionism and David Hilbert’s formalism. Brouwer contended that mathematics is a pure construct of the human mind; mathematical entities exist only insofar as they can be mentally constructed. Consequently, Brouwer rejected the principle of the excluded middle—the logical axiom asserting that any proposition is either true or false—in applications involving infinite sets. He argued that without a finite constructive proof, one cannot validly claim that either a proposition or its negation holds. Hilbert, conversely, sought to secure classical mathematics by axiomatizing it and proving its consistency using strictly finitary methods. For Hilbert, to excise the principle of the excluded middle from mathematics would be akin to "proscribing the telescope to the astronomer or to the boxer the use of his fists." To protect the classical edifice, Hilbert’s program treated complex mathematical statements as strings of symbols manipulated according to rigid syntactic rules, a gambit designed to insulate mathematics from the epistemological vulnerabilities that intuitionism exposed. Ultimately, Gödel’s incompleteness theorems demonstrated that no sufficiently powerful formal system could prove its own consistency, subverting Hilbert's primary ambition while simultaneously relying on the very non-constructive methodologies that Brouwer condemned.

Which of the following best describes the primary purpose for which the author quotes Hilbert’s comparison involving an astronomer’s telescope?