“It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.”

—  Vladimir Voevodsky

Univalent Foundations, Vladimir Voevodsky, IAS, March 26, 2014 http://www.math.ias.edu/vladimir/files/2014_IAS.pdf p. 13

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 "It soon became clear that the only real long-term solution to the problems that I encountered is to start using compute…" by Vladimir Voevodsky?
Vladimir Voevodsky photo
Vladimir Voevodsky 4
Russian mathematician 1966–2017

Related quotes

Robert T. Kiyosaki quote: “A job is only a short-term solution to a long-term problem.”
Robert T. Kiyosaki photo

“A job is only a short-term solution to a long-term problem.”

Robert T. Kiyosaki (1947) American finance author , investor

Rich Dad Poor Dad: What the Rich Teach Their Kids About Money-That the Poor and the Middle Class Do Not!

David Hilbert photo

“This conviction of the solvability of every mathematical problem is a powerful incentive to the worker. We hear within us the perpetual call: There is the problem. Seek its solution. You can find it by pure reason, for in mathematics there is no ignorabimus.”

David Hilbert Mathematical Problems

Mathematical Problems (1900)

“The use of practically any computing technique itself raises a number of mathematical problems. There is thus a very considerable impact of computation on mathematics itself, and this may be expected to influence mathematical research to an increasing degree.”

George Forsythe (1917–1972) Stanford University computer scientist

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

Oskar R. Lange photo

“Mathematical programming assisted by electronic computers becomes the fundamental instrument of long-term economic planning, as well as of solving dynamic economic problems of a more limited scope. Here, the electronic computer does not replace the market. It fulfils a function which the market never was able to perform.”

Oskar R. Lange (1904–1965) Polish economist

"The computer and the market" (1967)

John D. Barrow photo

“Mathematics became an experimental subject. Individuals could follow previously intractable problems by simply watching what happened when they were programmed into a personal computer.”

John D. Barrow (1952–2020) British scientist

Introduction
Cosmic Imagery: Key Images in the History of Science (2008)
Context: Mathematics became an experimental subject. Individuals could follow previously intractable problems by simply watching what happened when they were programmed into a personal computer.... The PC revolution has made science more visual and more immediate.... by creating films of imaginary experiences of mathematical worlds.... Words are no longer enough.

A. Wayne Wymore photo

“The problem of the design of a system must be stated strictly in terms of its requirements, not in terms of a solution or a class of solutions.”

A. Wayne Wymore (1927–2011) American mathematician

A Wayne. Wymore (2004) " The nature of research in systems engineering http://sse.stevens.edu/fileadmin/cser/2004/papers/211-Paper119.pdf"; As cited in: Eric David Smith (2006) Tradeoff Studies and Cognitive Biases. p. 31.

Edsger W. Dijkstra photo

“The major cause [of the software crisis] is that the machines have become several orders of magnitude more powerful! To put it quite bluntly: as long as there were no machines, programming was no problem at all; when we had a few weak computers, programming became a mild problem, and now we have gigantic computers, programming has become an equally gigantic problem. In this sense the electronic industry has not solved a single problem, it has only created them, it has created the problem of using its products.”

Edsger W. Dijkstra (1930–2002) Dutch computer scientist

1970s, The Humble Programmer (1972)

Vladimir Voevodsky photo

“Today we face a problem that involves two difficult to satisfy conditions. On the one hand we have to find a way for computer assisted verification of mathematical proofs. This is necessary, first of all, because we have to stop the dissolution of the concept of proof in mathematics. On the other hand, we have to preserve the intimate connection between mathematics and the world of human intuition. This connection is what moves mathematics forward and what we often experience as the beauty of mathematics.”

Vladimir Voevodsky (1966–2017) Russian mathematician

UniMath by Vladimir Voevodsky, Heidelberg Laureate Forum, Sept. 22, 2016, Heidelberg https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_09_22_HLF_Heidelberg.pdf p. 3

George Pólya photo

“We wish to see… the typical attitude of the scientist who uses mathematics to understand the world around us. …In the solution of a problem …there are typically three phases.”

George Pólya (1887–1985) Hungarian mathematician

Mathematical Methods in Science (1977)
Context: We wish to see... the typical attitude of the scientist who uses mathematics to understand the world around us.... In the solution of a problem... there are typically three phases. The first phase is entirely or almost entirely a matter of physics; the third, a matter of mathematics; and the intermediate phase, a transition from physics to mathematics. The first phase is the formulation of the physical hypothesis or conjecture; the second, its translation into equations; the third, the solution of the equations. Each phase calls for a different kind of work and demands a different attitude.<!--p.164

Gene Amdahl photo

“For over a decade prophets have voiced the contention that the organization of a single computer has reached its limits and that truly significant advances can be made only by interconnection of a multiplicity of computers in such a manner as to permit cooperative solution. Variously the proper direction has been pointed out as general purpose computers with a generalized interconnection of memories, or as specialized computers with geometrically related memory interconnections and controlled by one or more instruction streams.
Demonstration is made of the continued validity of the single processor approach and of the weaknesses of the multiple processor approach in terms of application to real problems and their attendant irregularities.”

Gene Amdahl (1922–2015) American physicist

Source: Validity of the single processor approach... (1967), p. 483

Related topics