„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.“

—  Vladímir Voyevodski, 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
Vladímir Voyevodski Foto
Vladímir Voyevodski
matemático ruso 1966 - 2017

Citas similares

Paul Bernays Foto
Hans Reichenbach Foto
David Deutsch Foto
Bernard Le Bovier de Fontenelle Foto
Mahmoud Ahmadinejad Foto

„We had principles in mathematics that were granted to be absolute in mathematics for over 800 years, but new science has gotten rid of those absolutism, gotten — forward other different logics of looking at mathematics, and sort of turned the way we look at it as a science altogether after 800 years.“

—  Mahmoud Ahmadinejad 6th President of the Islamic Republic of Iran 1956
2007, Columbia University speech, 24 September 2007 [24 September 2007, http://www.azstarnet.com/sn/hourlyupdate/202820.php, "Iran's president at Columbia University - a transcript", azstarnet.com, 2007-09-25]

George Pólya Foto
Mark Kac Foto
Eugene Paul Wigner Foto
Thomas Piketty Foto
Alain Badiou Foto

„Without mathematics, we are blind.“

—  Alain Badiou French writer and philosopher 1937
Original French: Hors les mathématiques, nous sommes aveugles. From Court traité d'ontologie transitoire. Paris: Éditions du Seuil, 1998. ISBN 2020348853.

Arthur Stanley Eddington Foto

„The mathematics is not there till we put it there.“

—  Arthur Stanley Eddington British astrophysicist 1882 - 1944
The Philosophy of Physical Science (1938)

Georg Christoph Lichtenberg Foto

„All mathematical laws which we find in Nature are always suspect to me, in spite of their beauty.“

—  Georg Christoph Lichtenberg German scientist, satirist 1742 - 1799
Context: All mathematical laws which we find in Nature are always suspect to me, in spite of their beauty. They give me no pleasure. They are merely auxiliaries. At close range it is all not true. As quoted in Lichtenberg : A Doctrine of Scattered Occasions (1959) by Joseph Peter Stern, p. 84

Stanislaw Ulam Foto

„Mathematics may be a way of developing physically, that is anatomically, new connections in the brain.“

—  Stanislaw Ulam Polish-American mathematician 1909 - 1984
Adventures of a Mathematician - Third Edition (1991), Chapter 15, Random Reflections on Mathematics and Science, p. 277

Alan Turing Foto

„Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity.“

—  Alan Turing, Systems of Logic Based on Ordinals
Context: Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity. The activity of the intuition consists in making spontaneous judgements which are not the result of conscious trains of reasoning... The exercise of ingenuity in mathematics consists in aiding the intuition through suitable arrangements of propositions, and perhaps geometrical figures or drawings. "Systems of Logic Based on Ordinals," section 11: The purpose of ordinal logics (1938), published in Proceedings of the London Mathematical Society, series 2, vol. 45 (1939) In a footnote to the first sentence, Turing added: "We are leaving out of account that most important faculty which distinguishes topics of interest from others; in fact, we are regarding the function of the mathematician as simply to determine the truth or falsity of propositions."

David Hilbert Foto
Bertrand Russell Foto

„Physics is mathematical not because we know so much about the physical world, but because we know so little“

—  Bertrand Russell logician, one of the first analytic philosophers and political activist 1872 - 1970
1920s, Context: Physics is mathematical not because we know so much about the physical world, but because we know so little: it is only its mathematical properties that we can discover. An Outline of Philosophy Ch.15 The Nature of our Knowledge of Physics (1927)

Noam Chomsky Foto

„There is a noticeable general difference between the sciences and mathematics on the one hand, and the humanities and social sciences on the other.“

—  Noam Chomsky american linguist, philosopher and activist 1928
Quotes 1990s, 1990-1994, Context: There is a noticeable general difference between the sciences and mathematics on the one hand, and the humanities and social sciences on the other. It's a first approximation, but one that is real. In the former, the factors of integrity tend to dominate more over the factors of ideology. It's not that scientists are more honest people. It's just that nature is a harsh taskmaster. You can lie or distort the story of the French Revolution as long as you like, and nothing will happen. Propose a false theory in chemistry, and it'll be refuted tomorrow.

Edward Frenkel Foto
Richard Courant Foto

„Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Etiam egestas wisi a erat. Morbi imperdiet, mauris ac auctor dictum.“

x