“Computer Algebra Systems are NOT the Devil but the new MESSIAH that will take us out of the current utterly trivial phase of human-made mathematics into the much deeper semi-trivial computer-generated phase of future mathematics. Even more important, Computer Algebra Systems will turn out to be much more than just a `tool', since the methodology of computer-assisted and computer-generated research will rule in the future, and will make past mathematics seem like alchemy and astrology, or, at best, theology.”

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Computer Algebra Systems are NOT the Devil but the new MESSIAH that will take us out of the current utterly trivial pha…" by Doron Zeilberger?

Doron Zeilberger11

Israeli mathematician 1950

George Forsythe (1917–1972) Stanford University computer scientist

George Forsythe (1958) cited in: Computers and people Vol 23. (1974). p. 11 Pagina 11

“With the computer and programming languages, mathematics has newly-acquired tools, and its notation should be reviewed in the light of them. The computer may, in effect, be used as a patient, precise, and knowledgeable "native speaker" of mathematical notation.”

Kenneth E. Iverson (1920–2004) Canadian computer scientist

Source: Math for the Layman (1999), Ch. 10, §D

“Computer science research is different from these more traditional disciplines. Philosophically it differs from the physical sciences because it seeks not to discover, explain, or exploit the natural world, but instead to study the properties of machines of human creation. In this it as analogous to mathematics, and indeed the "science" part of computer science is, for the most part mathematical in spirit. But an inevitable aspect of computer science is the creation of computer programs: objects that, though intangible, are subject to commercial exchange.”

Dennis M. Ritchie (1941–2011) American computer scientist

Reflections on Software Research (1984)

“If you think about things that happen, as being computations... a computation in the sense that it has definite rules... You follow them many steps and you get some result. ...If you look at all these different computations that can happen, whether... in the natural world... in our brains... in our mathematics, whatever else, the big question is how do these computations compare. ...Are there dumb ...and smart computations, or are they somehow all equivalent? ...[T]he thing that I ...was ...surprised to realize from ...experiments ...in the early 90s, and now we have tons more evidence for ...[is] this ...principle of computational equivalence, which basically says that when one of these computations ...doesn't seem like it's doing something obviously simple, then it has reached this ...equivalent layer of computational sophistication of everything. So what does that mean? ...You might say that ...I'm studying this tiny little program ...and my brain is surely much smarter ...I'm going to be able to systematically outrun [it] because I have a more sophisticated computation ...but ...the principle ...says ...that doesn't work. Our brains are doing computations that are exactly equivalent to the kinds of computations that are being done in all these other sorts of systems. ...It means that we can't systematically outrun these systems. These systems are computationally irreducible in the sense that there's no ...shortcut ...that jumps to the answer.”

Stephen Wolfram (1959) British-American computer scientist, mathematician, physicist, writer and businessman

Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe (Sep 15, 2020)

“The accounting methods based on mathematical models, the use of computers for computations and information data processing make up only one part of the control mechanism, another part is the control structure.”

Leonid Kantorovich (1912–1986) Russian mathematician

"Mathematics in Economics: Achievements, Difficulties, Perspectives," 1975

“If the Internet turns out not to be the future of computing, we're toast. But if it is, we're golden.”

Larry Ellison (1944) American internet entrepreneur, businessman and philanthropist

Statement in 1999, as quoted in "Oracle's Talking: Should You Be Listening?" by Jeff Sweat in Information Week (7 February 2000) http://www.informationweek.com/772/oracle.html.