Mathe und die Singularität

Ich muss Mathe lernen. Morgen ist Klausur: Mathematik für Informatiker II.
Also denke ich über Mathematik.

Mathematik ist die Grundlage für jede moderne Wissenschaft. Die Einführung von Supercomputing, Internet2, Distributed Computing, dem folgenden Ausbau von Simulationswissenschaften, der Fokusierung auf immer komplexere Modelle und dem Streben nach KI oder auch nur das Data Mining und die Entwicklung intelligenter (lernender) Algorithmen machen die Mathematik zur alles treibenden Kraft.
Doch warum muss man Mathematik lernen?
Die Tendenz ist in jeder Wissenschaft zu spüren: Es geht immer weniger um das eigentliche Lernen von Wissen als um das Suchen (und Finden) von Wissen - nur nicht in der Mathematik.
Nun gibt es aber diverse Ansätze *Sprache* zu erkennen, für Maschinen lesbar zu machen, verstehbar zu machen. Größtenteils sind das Ansätze wie Data Mining oder lernende Algorithmen.
Nun könnte man doch auf die glorreiche Idee kommen genau dieses Erkennen einzusetzen - in der Mathematik. Vollständige Induktion ist nichts anderes als das Erkennen von schon Bewiesenem bzw. Offensichtlichem in einem komplexen Ausdruck. Wie froh wären Ingenieure und Physiker wenn sie lediglich einen Ausdruck eingeben bräuchten und der Computer nicht nur das Ergebnis ausgibt sondern auch noch instantan beweist dass der Ausdruck mathematisch korrekt ist? Wie froh wären Wissenschaftler im Allgemeinen, wenn der Computer nicht nur sagen könnte ob etwas falsch oder richtig ist sondern auch wo genau der Fehler steckt?
Ein klassischer Intelligence Failure - es ist nicht die richtige Information am richtigen Ort zur richtigen Zeit - lösbar durch bereits vorhandene Methoden. Man müsste es nur umsetzen.

Das Resultat wäre jedoch mehr als nur ein verbesserter Taschenrechner.
Was ist eine technologische Singularität? Wikipedia sagt:
In der Futurologie bezeichnet der Begriff Technologische Singularität den Zeitpunkt, ab dem der technische Fortschritt so schnell abläuft, dass ihn ein durchschnittlicher Mensch ohne Hilfsmittel nicht mehr begreifen kann.
Mathematik ist die Basis aller modernen Wissenschaft. Ab dem Moment in dem die Mathematik nicht mehr begreifbar ist, weil sie zu komplex geworden ist und man sich nicht mehr die Mühe macht ohne Hilfsmittel zu rechnen, steht die technologische Singularität vor der Türe.

Also gehe ich und versuche die technologische Singularität aufzuhalten durch das Lernen von Mathematik.


Edit:
Zu dem Thema siehe auch.