A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
A well-known Hungarian mathematician has conjectured that, as soon as man discovers a proof that 1=0, the world will vanish. For fear of paradox intuitionists have been doing mathematics with one hand tied behind their back. Formalists still insist that metamathematics be done in this manner. Having been brought up on the books by Quine, Rosenbloom, and Kleene, one is left with the impression that logic is there to talk about mathematics, and that it may only utilize the most rudimentary ofdoi:10.1017/s0008439500030654 fatcat:qha5k4j7h5gw5fc4nw5tgnn4xy