"Now Gödel's proof, Russell's original paradox, all these things, all stem from one common root which is inherent in all symbolic languages, including the language we use. ...the problem which dogs all formal systems, the problem of self-reference; that is, the language can be used to refer to sentences in the language. Indeed, between 1900 and 1910 Russell tried to forbid this, to say you cannot do mathematics if you can do that, and so he invented the theory of types. Of course, no sooner had he invented it than it turned up you could not do mathematics at all if you obeyed the theory of types. So then he had to put in an , which allows a certain amount of self-reference. And by this time everyone was pretty bored."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Jacob Bronowski, The Origins of Knowledge and Imagination (1978) pp. 81-82.
https://en.wikiquote.org/wiki/Mathematical_proof
Revision History
No revisions have been submitted for this quote.
Categories
Mathematical proof
43 quotes on TrueQuotesView all quotes by Mathematical proof →
Related Quotes
"The physicists didn't want to be bothered with the idea that maybe quantum theory is only provisional. A horn of plen…"
"In the summer of 1914 I attended Frege's course, Logik in der Mathematik. Here he examined critically some of the cus…"
"On the subject of demonstrations, it is to be remarked that the Hindu mathematicians proved propositions both algebra…"
"Pythagoras did not possess a proof of the theorem which bears his name... he was temperamentally uninterested in proo…"
"Proof is the idol before whom the pure mathematician tortures himself."
"Another roof, another proof."
"Paul Erdős, although an atheist, spoke of an imaginary book, in which God has written down all the most beautiful mat…"
"It really is worth the trouble to invent a new symbol if we can thus remove not a few logical difficulties and ensure…"
"The ideal of strictly scientific method in mathematics which I have tried to realise here, and which perhaps might be…"
"The great masters of modern analysis are Lagrange, Laplace, and Gauss, who were contemporaries. It is interesting to …"