Limited Time Offer
Premium members can get their quote collection automatically imported into their Quotewise collections.
" "...Once you entomb mathematics in an artificial language à la Hilbert, once you set up a completely formal axiomatic system, then you can forget that it has any meaning and just look at it as a game that you play with marks on paper that enable you to deduce theorems from axioms. You can forget about the meaning of the game, the game of mathematical reasoning, it's just combinatorial play with symbols! There are certain rules, and you can study these rules and forget that they have any meaning!
Gregory Chaitin (born 25 June 1947) is an Argentine-American mathematician, computer scientist, and author. Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a computer-theoretic result equivalent to Gödel's incompleteness theorem.
Premium members can get their quote collection automatically imported into their Quotewise collections.
Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.
At first it might seem that quantum mechanics (QM), which began with Einstein's photon as the explanation for the photoelectric effect in 1905, goes further in the direction of discreteness. But the wave-particle duality discovered by de Broglie in 1925 is at the heart of QM, which means that this theory is profoundly ambiguous regarding the question of discreteness vs. continuity. QM can have its cake and eat it too, because discreteness is modeled via standing waves (eigenfunctions) in a continuous medium.
[A]ccording to Weyl, complexity is essential in understanding the concept of a law of nature. If laws of nature may be arbitrarily complex, he argued, the very concept... becomes vacuous. What difference would remain... if the laws meant to explain them were as complex as the phenomena they are meant to explain?
Laws of nature must be simple.
Add semantic quote search to your AI assistant via MCP. One command setup.