Die Genauigkeit, Kraft und Sicherheit des mathematischen Denkens erfüllte ihn fast mit Schwermut...
Wann immer man ihn bei der Abfassung mathematischer und logischer Abhandlungen oder bei der Beschäftigung mit den Naturwissenschaften gefragt haben würde, welches Ziel ihm vorschwebe, so würde er geantwortet haben, daß nur eine Frage das Denken wirklich lohne, und das sei die des rechten Lebens...
Robert Musil: Der Mann ohne Eigenschaften.

If I were to awaken after having slept for a thousand years, my first question would be: "Has the Riemann hypothesis been proven?"
- David Hilbert

The SymbolicComputational tail is starting to wag the mathematics dog, and will continue to do so more and more vigorously, and very soon, (traditional) math will become the tail of computer algebra.
- Doron Zeilberger: Towards a SymbolicComputational Philosophy (and Methodology!) for Mathematics.

Back