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.