Kurt Gödel, vor 100 Jahren geboren, zeigte der Mathematik eine logische Grenze auf. Jetzt droht ihr auch eine biologische: Einige Beweise könnten zu komplex sein für das menschliche Hirn.
Mathematik, so lautet die gängige Meinung, beruht im Gegensatz zu den Naturwissenschaften nicht auf Erfahrung, sondern auf reiner Logik. Aus einer überschaubaren Menge von Grundannahmen, so genannten Axiomen, finden die Mathematiker durch die Anwendung logischer Schlussregeln zu immer neuen Erkenntnissen, dringen immer tiefer ins Reich der mathematischen Wahrheit vor. Die menschliche Subjektivität (der Geisteswissenschaft) und die schmutzige Realität (der Naturwissenschaft) bleiben außen vor. Es gibt nichts Wahreres als die Mathematik, und vermittelt wird uns diese Wahrheit durch den Beweis. So ein Beweis ist zwar von Menschen gemacht, und es erfordert Inspiration und Kreativität, ihn zu finden, aber wenn er einmal dasteht, ist er unumstößlich. Allenfalls kann er durch einen einfacheren oder eleganteren ersetzt werden.
weiterlesen