Meine Herren, dies ist keine Badeanstalt. Georg von Wallwitz
Чтение книги онлайн.

Читать онлайн книгу Meine Herren, dies ist keine Badeanstalt - Georg von Wallwitz страница 8

Название: Meine Herren, dies ist keine Badeanstalt

Автор: Georg von Wallwitz

Издательство: Bookwire

Жанр: Математика

Серия:

isbn: 9783946334286

isbn:

СКАЧАТЬ aufregendste methodische Neuerung zur Zeit der Königsberger Spaziergänge stammte zweifellos von Georg Cantor (1845–1918), dessen Name an vielen Ecken dieser Geschichte auftaucht, weil sein Thema die Unendlichkeit ist. Er bereicherte die Mathematik um einen ganz neuartigen Umgang mit dem Grenzenlosen und hinterließ dabei der Mengenlehre einen Sack voll Flöhe. Cantor war ein manisch-depressiver Professor aus Halle, dessen zweites Lebensthema (neben der Erforschung des Unendlichen) die Aufdeckung von Shakespeares wahrer Identität war. Beides waren Aufgaben, die leicht in den Wahnsinn führen konnten. Cantor kam mit Shakespeare nicht entscheidend weiter, aber für den Umgang mit dem Unendlichen schuf er Definitionen und Beweistechniken und errichtete damit ein Werk von bleibendem Einfluss und unbezweifelbarer Größe. Das Unendliche mit unseren irdischen Gehirnen zu umfassen, war (neben der Überwindung der »klassischen« Euklidischen Geometrie) das wohl ambitionierteste Projekt in der Mathematik des 19. Jahrhunderts, und es überrascht nicht, dass die daraus entstandene neue Mengenlehre in einen großen Streit über die Grundlagen der Mathematik insgesamt mündete.

      Cantor führte verschiedene Grade der Unendlichkeit ein, eine Idee, die seine Lehrer an der Berliner Universität (insbesondere Leopold Kronecker (1823–1891)) erschauern ließ. Die Unendlichkeit der natürlichen Zahlen 1, 2, 3, … ist eine Selbstverständlichkeit, denn es lässt sich keine größte natürliche Zahl benennen. Cantor zeigte nun, dass etwa die rationalen Zahlen (die sich als Brüche ausdrücken lassen, z. B. ½, ⅔, ¾, image, image) so aufgeschrieben werden können, dass sich jede von ihnen einer natürlichen Zahl zuordnen lässt. Die Unendlichkeit der natürlichen Zahlen entspricht damit der Unendlichkeit der rationalen Zahlen, obwohl es von den letzteren offensichtlich mehr gibt. Dies ist ein Resultat von Cantors Aufschreibtechnik, an der es nichts zu deuteln gibt. Die rationalen Zahlen sind also gleichermaßen abzählbar unendlich wie die natürlichen. Cantor zeigte nun, dass es sich mit den reellen Zahlen (die, grob gesprochen, neben den rationalen Zahlen auch solche enthalten, die sich nicht als Bruch schreiben lassen, also etwa die Kreiszahl – also alles, was sich irgendwie als Kommazahl ausdrücken lässt) anders verhält. Ihre Unendlichkeit hat eine andere Kragenweite – oder wie es richtig heißt: Sie ist von anderer Mächtigkeit (ihre Elemente lassen sich nicht in eine eineindeutige Beziehung bringen).27

      Es lohnt sich an dieser Stelle den ebenso einfachen wie genialen Gedankengang Cantors nachzuskizzieren. Der Beweis beruht auf dem so genannten Diagonalverfahren. Dazu nimmt man an, die Unendlichkeit der reellen Zahlen sei von gleicher Mächtigkeit wie die der natürlichen (oder rationalen) Zahlen. Wenn das so ist, dann müssen sich die reellen Zahlen in einer durchnummerierbaren Liste aufschreiben lassen. Beispielsweise müssten sich alle reellen Zahlen zwischen 0 und 1 in willkürlicher Reihenfolge etwa so aufschreiben lassen:

      0,50000000…

      0,33333333…

      0,25000000…

      0,66666666…

      0,20000000…

      0,16666666…

      0,40404000…

      0,75000000

      Man betrachte nun die fett markierte Diagonalzahl: 0,53060600… und ändere sie an jeder Stelle, etwa indem man 1 hinzuzählt. Dann erhält man eine Zahl 0,64171711…, die gewiss nicht in dieser Liste ist, denn sie unterscheidet sich von jeder in der Liste enthaltenen Zahl an mindestens einer Stelle. Die Annahme, die reellen Zahlen ließen sich in einer abzählbaren Liste aufschreiben, führt zu einem Widerspruch, denn aus dieser Liste lässt sich eine Zahl konstruieren, die nicht in ihr enthalten ist. Also können sich die reellen Zahlen nicht in eine Liste bringen und abzählen lassen. Die reellen Zahlen haben damit eine andere Mächtigkeit als die natürlichen Zahlen. Sie sind überabzählbar unendlich.

      Der Spaß fängt an, ernsthaft kompliziert zu werden, wenn man sich überlegt, ob es eine Menge gibt, deren Mächtigkeit zwischen der abzählbaren und der überabzählbaren liegt. Cantor vermutete, dass dies nicht der Fall war, aber er konnte es nicht beweisen, und so reichte er diese Vermutung als die »Kontinuumshypothese« an die kommenden Generationen weiter. Eine andere, ebenso schräge Frage war, wie die Menge aller unendlichen Mengen aussehen mag, in welcher also Mengen von allen Arten von Unendlichkeit vereint sind? Oder was war die Mächtigkeit einer Menge, die aus den Teilmengen einer unendlichen Menge bestand?

      Das Establishment in Berlin, repräsentiert durch Kronecker, hielt allein schon den Gedanken, im Unendlichen nach Strukturen zu suchen, mit denen sich am Ende vielleicht sogar rechnen ließ, für surreal.28 Wohin sollte ein so lockerer Umgang mit dem Unendlichen führen? Hatte man nicht eben viel Mühe darauf verwandt, die Mathematik in den endlichen Bereich zu zwingen und das unordentliche Erbe der Differenzialrechnung aufzuräumen?

      Der Umgang mit dem Unendlichen war immer unheimlich geblieben, auch wenn die Methoden und Definitionen immer besser und genauer wurden. Das Unendliche zu denken bedeutet, etwas in den Kopf zu bekommen, wofür es kein Bild, keine Vorstellung gibt. Das Unendliche existiert nicht in der Natur. Im Kleinsten besteht sie aus Quanten und auch im Größten lässt sich nicht ohne weiteres behaupten, unser Universum sei in Zeit und Raum unendlich ausgedehnt. Es kommt in unserer Erfahrung nicht vor, es ist nicht real, sondern reine Abstraktion. Die Endlosigkeit dennoch erfassen und durchdenken zu wollen bedeutet immer, im wörtlichen Sinne, an die Grenzen des Verstandes zu gehen. Wer es sich trotz allem zutraut, findet sich sehr schnell sehr allein.

      Für seinen Mut, über die Grenzen des Endlichen zu gehen (und das Establishment zu verachten), bewunderte die mathematische Jugend und speziell das Trio vom Königsberger Schlossteich Cantor grenzenlos. Sie »verehrte in Cantor den originellsten zeitgenössischen Mathematiker zu einer Zeit, als in damals maßgebenden mathematischen Kreisen der Name Cantor geradezu verpönt war und man in Cantors transfiniten Zahlen lediglich schädliche Hirngespinste erblickte.«29 Cantor war aber nicht zum Helden geboren und für eine solche Auseinandersetzung mit Kronecker zu sensibel (wie es vielleicht bei einem Kopf, der das Unendliche umfassen konnte, nicht verwunderlich war) und endete, halb verhungert, 1918 in einem Sanatorium.

      Hierauf beruht mithin diese ganze Kunst zu überzeugen. Sie ist in zwei Grundsätzen enthalten: alle Beziehungen, die man verwendet, zu definieren; und alles zu beweisen, indem man im Geist die definierten Ausdrücke durch die Definitionen ersetzt.

      Pascal, Esprit géométrique

      5. Hilbert geht nach Göttingen

      Die Karrieren der drei Spaziergänger nahmen ihren normalen Lauf. Hermann Minkowski trat 1887 eine Lehrstelle an der Universität Bonn an und die gemeinsamen Ausflüge zum Apfelbaum fanden nur noch in seinen Ferien statt. In Preußens äußerstem Westen entwickelte er eine heimliche Leidenschaft für die Physik, seit er zunächst aus Langeweile (mathematisch war in Bonn nicht viel geboten) und später mit immer größerem Interesse bei Heinrich Hertz Vorlesungen hörte und sogar Experimente machte. An Hilbert berichtete er eher beiläufig davon. Er sei gelegentlich sogar im blauen Laborkittel anzutreffen, nannte sich einen »Praktikus, wie Sie ihn sich schändlicher gar nicht vorstellen können«,30 und schlug vor, sich vor seinen Besuchen im reinvernünftigen Königsberg mindestens zehn Tage von aller Praxis zu entgiften, um so wieder Anschluss zu finden an die dortige Gedankenwelt. Bei Hertz hatte er dessen Unbehagen an Maxwells Elektrodynamik und Newtons Mechanik mitbekommen, ebenso wie eine Begeisterung für die Gleichungen der Physik. Aus dieser Zeit hatte er sich ein Verständnis für experimentelles Vorgehen auch СКАЧАТЬ