Rechner zu Galileos Unendlichkeitsparadoxon

Galileos Paradoxon beginnt mit zwei scheinbar unvereinbaren Beobachtungen. Quadratzahlen bilden nur einen Teil der positiven ganzen Zahlen: 1, 4, 9, 16 und so weiter. Die meisten natürlichen Zahlen sind keine Quadratzahlen, und in endlichen Ausschnitten erscheinen Quadratzahlen zunehmend seltener. Dennoch gehört zu jeder positiven natürlichen Zahl n genau eine Quadratzahl n zum Quadrat, und jede positive Quadratzahl hat genau eine positive Quadratwurzel. Diese Eins-zu-eins-Zuordnung legt nahe, dass die Quadratzahlen und alle natürlichen Zahlen dieselbe unendliche Größe haben. Der Rechner veranschaulicht die endliche Seite. Unter den natürlichen Zahlen von 1 bis zu einer Grenze N gibt es floor(sqrt(N)) Quadratzahlen. Bis 100 sind es 10, also 10% des Ausschnitts. Bis 10,000 sind es 100, nur noch 1%. Mit wachsendem N nähert sich floor(sqrt(N))/N der Null. In der Sprache der natürlichen Dichte haben Quadratzahlen innerhalb der natürlichen Zahlen die Dichte null. Die unendliche Seite nutzt Paarungen statt Anteile. Ordne 1 der 1 zu, 2 der 4, 3 der 9 und allgemein n der Zahl n zum Quadrat. Auf der Eingabeseite fehlt keine natürliche Zahl, und auf der Ausgabeseite wird keine Quadratzahl wiederholt oder ausgelassen. Die moderne Mengenlehre nennt eine solche Zuordnung Bijektion. Zwei Mengen haben dieselbe Mächtigkeit, wenn zwischen ihnen eine Bijektion existiert, selbst wenn eine eine echte Teilmenge der anderen ist. Beide Mengen sind abzählbar unendlich. Der Widerspruch verschwindet, sobald endlicher Anteil und unendliche Mächtigkeit als unterschiedliche Maße erkannt werden. Der Anteil beschreibt, wie dicht eine Menge innerhalb einer anderen bis zu wachsenden Grenzen vorkommt. Die Mächtigkeit fragt, ob sich die Elemente einzeln paaren lassen. Bei endlichen Mengen entspricht dies der vertrauten Erwartung: Eine echte Teilmenge hat immer weniger Elemente. Unendliche Mengen verhalten sich anders, weil sie sich vollständig mit echten Teilmengen ihrer selbst paaren lassen. Galileo diskutierte dieses Rätsel, bevor eine strenge Theorie unendlicher Kardinalzahlen existierte. Später formalisierte Georg Cantor die Eins-zu-eins-Zuordnung als Methode zum Vergleich unendlicher Mengen. Das Paradoxon eignet sich bis heute als Einstieg in abzählbare Unendlichkeit, Grenzwerte, Dichte und Bijektionen. Probiere immer größere Grenzen aus und beobachte, wie der endliche Prozentsatz sinkt. Die Abbildung von n auf n zum Quadrat endet dabei auf keiner Seite. Das Tool berechnet nicht die Unendlichkeit, sondern zeigt, wie endliche Trends und unendliche Paarungen zwei verschiedene mathematische Fragen beantworten.