"The world is totally connected. Whatever explanation we invent at any moment is a partial connection, and its richness derives from the richness of such connections as we are able to make. ...mathematics suffer from the same partiality. Gödel, Turing, and Tarski all proved this. Gödel proved that you cannot have a complete axiomatization of the whole of mathematics, that every system which you devise is partial and suffers from one great shortcoming. If it is consistent, there are theorems which are true that cannot be proved in it. And Turing showed that every machine that we can devise is like a formal system, and that therefore no machine can do all of mathematics. And Tarski put it even more boldly when he said that no universal language for all of science can exist in all cases without paradox."
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)
https://en.wikiquote.org/wiki/Foundations_of_mathematics
Revision History
No revisions have been submitted for this quote.
Categories
Foundations of mathematics
49 quotes on TrueQuotesView all quotes by Foundations of mathematics →
Related Quotes
"These doubts did not halt mathematical creation. Technicians working on the superstructure did not drop their tools a…"
"I shall now address you on the subject of the present situation in research in the foundations of mathematics. Since …"
"The truth is that the mathematical sciences are growing in complete security and harmony. The ideas of Dedekind, Poin…"
"As soon as I have put it into order I intend to write and if possible to publish a work on parallels. At this moment,…"
"I should regard it as a great misfortune if you were to allow yourself to be deterred by the 'clamors of the Bœotians…"
"Now Gödel's proof, Russell's original paradox, all these things, all stem from one common root which is inherent in a…"
"Mathematics is in its development entirely free and is only bound in the self-evident respect that its concepts must …"
"In the summer of 1914 I attended Frege's course, Logik in der Mathematik. Here he examined critically some of the cus…"
"It is in set theory that we encounter the greatest diversity of foundational opinions. This is because even the most …"
"Fourier's analytical theory of heat (final form, 1822), devised in the Galileo-Newton tradition of controlled observa…"