Diferencia entre revisiones de «Curso de alemán nivel medio con audio/Lección 114c»

Contenido eliminado Contenido añadido
Sin resumen de edición
Sin resumen de edición
Línea 196:
:<math> \textstyle 1, \frac{2}{2}, \frac{3}{3} </math> usf. und <math> \textstyle \frac{5}{6}, \frac{10}{12}, \frac{15}{18}, \frac{20}{24} </math> usf.
:So ist etwa auch die Menge aller algebraischen Zahlen
297
 
 
 
 
 
 
 
:<math> a_nx^n + a_{n-1}x^{n-1} + ... + a_1x^1 + a_0x^0 = 0 </math>
:abzählbar, was man sehr leicht beweisen kann.
:Das eigentliche Kreuz der Mengenlehre bildet bis heute noch die Menge aller Zahlen, die das Kontinuum zusammensetzen. Sicherlich ist die Menge aller Irrationalzahlen, die zu den rationalen hinzutreten müssen, um das Stetige auch Wirklich zu füllen, oder besser, um die Stetigkeit zu erzeugen, nicht abzählbar. Die Menge aller reellen Zahlen gehört somit nicht zum Typus <math> \aleph_0 </math>. Wohin also gehört sie? Das ist noch nicht geklärt und viele modernste Forscher neigen dazu, den Begriff der Mächtigkeit überhaupt fallen zu lassen.
 
:Wir dürfen uns aber auch hier leider nicht in Einzelheiten verlieren, sondern Wollen nur, außer den bereits erwähnten, noch einige Paradoxien anführen, die sich aus der Mengenlehre ergeben. Die bekanntesten Widersprüche liegen in den Begriffen der „Menge aller Kardinalzahlen“ und der „Menge aller Ordnungszahlen“ (Antinomie von Burali-Forti). Es muß namlich zu jeder Kardinalzahl noch eine größere derartige Zahl geben. Daher sind die beiden angeführten Mengen unmöglich und sinnlos. Auch eine „Menge der geraden Ordnungszahlen“ ist sinnlos. Ein Weiteres paradoxes Ergebnis wäre nach Zermelo und Russel die „Menge aller Mengen, die einander nicht als Element enthalten“. Ebenso ist die „Menge aller Mengen“ unmöglich und paradox.
:Das eigentliche Kreuz der Mengenlehre bildet bis heute
:In neuester Zeit haben Hausdorff und andere eine ganze Reihe anderer mengentheoretischer Paradoxien, speziell in der Geometrie, entdeckt, die oft zu phantastischen Ergebnissen führen. So kann man beweisen, daß sich die Sonne zerlegen und Wieder zu Apfelgröße zusammensetzen läßt, ohne daß etwas Weggenommen, hinzugegeben oder komprimiert wird.
noch die Menge aller Zahlen, die das Kontinuum zu-
:Der Begriff der geometrischen „Mannigfaltigkeiten“, Wie auch Cantor selbst ursprünglich die Mengen nannte, spielt übrigens schon seit Graßmann und seit Riemann eine große Rolle in der Mathematik. Es handelt sich dabei um den primarsten Aufbaubegriff des Ausgedehnten. Man glaubte nun, und der „gemeine Menschenverstand“ hält dies für selbstverständlich, daß die Menge der Punkte in einer Linie zu den Mengen in der Fläche oder in den Körpern sich verhalten müßten wie <math> \infty^1 </math> zu <math> \infty^2 </math> zu <math> \infty^3 </math>. Die Mächtigkeit dieser Mengen müßten also verschieden sein wie Unendlichkeiten verschiedener Ordnung. Die Mengenlehre leugnet diesen Unterschied und kennt nur eine einheitliche Punktmenge für alle Dimensionen, die stets vom gleichen Grade der Mächtigkeit ist. Sehr unheimlich ist auch etwa folgende Antinomie. Nehmen wir an, wir hätten in einem gewöhnlichen kartesischen Koordinatensystem die Einheit auf der ''x''-Achse etwa als Mikromillimeter und auf der ''y''-Achse als Billion von Lichtjahren gewählt. Die Menge der Punkte in der ''x''-Richtung muß „natürlich“ dieselbe sein wie in der ''y''-Richtung, da ja sonst keine eineindeutige Zuordnung oder Bildung von Zahlpaaren möglich wäre. Wie nun sehen diese Punkte aus? Kann es irgendein Verstand fassen, daß es sich dabei um Punkte handelt? Das müßten doch ebenso „natürlich“ recht ansehnlich gedehnte Gebilde sein, und zwar gedehnt in der ''y''-Richtung. Gut, es sind unendliche Mengen und vor der Unendlichkeit verschwinden solche lächerliche Unterschiede wie das Verhältnis von einem Mikromillimeter zu einer Billion Lichtjahre. Aber? Da gibt es kein „Aber“. Wenn wir nämlich plötzlich die Maßstäbe der Koordinaten tauschen, entsteht nicht etwa eine furchtbare Umwälzung, sondern es geschieht mengentheoretisch und analytisch überhaupt nichts. Nicht einmal die bescheidenste Transformation.
sammensetzen. Sicherlich ist die Menge aller Irrational-
:Kurz, faustisch betrachtet, hat sich hier wieder einmal die Kabbala mit den gotischen Spitzbogengewölben verschwistert, die sich in unheimlich-ahnungsschweres Dunkel verlieren. Der Logiker wird nicht erschrecken. Er wird rechnen, wird sondern, prüfen, begrenzen, wird überlegen lächelnd behaupten, es seien gleichsam ungeduldige Kinder, die sich stets unter all diesen rein denkmaschinellen Dingen etwas „Anschauliches“ vorstellen müßten. Man dürfe sich nichts vorstellen, sonst sei man bereits irgendwie mit außermathematischen Ansprüchen verseucht oder gar bloß infantil.
zahlen, die zu den rationalen hinzutreten müssen, um das
:In dieser starren, gläsernen Begrenzung des Magischen wurde und wird auch die Mengenlehre zum Algorithmus ausgebaut und als Untermauerung der Zahlen-, der Funktionen- und der Integraltheorie verwendet. Sie Wird mit einem Fingerschnippen sofort Wieder ein Überbau der ganzen Mathematik und sogar der Logik. Sie wird überhaupt, Wie die Gruppentheorie, zur Überwissenschaft, zur allgemeinen Denkkategorie.
Stetige auch Wirklich zu füllen, oder besser, um die Stetig-
:Aber sie zeigt uns, wenn man so sagen darf, überall die Drachenzähne, und mehr als je stehen wir vor der Tatsache, daß jeden Augenblick die Donnerstimme ertönen kann: „Du gleichst dem Geist, den du begreifst, nicht mir!“
keit zu erzeugen, nicht abzählbar. Die Menge aller reellen
:Denn die Intuition ist nicht bloß ein Requisit von Kindern, sondern in ihren Spitzenleistungen ein Requisit des Göttlichen. Wieder erhebt sich die dunkle Frage, ob wir Menschlein vollkommen ungestraft den Bereich der „Ge oikouméne“, der bewohnten Erde, verlassen und uns jenseits dieser Grenzen im Bereich Gottes tummeln dürfen. Ungestraft in dem Sinne, als es sehr fraglich ist, ob Wir berechtigt sind, uns in magisch-diesseitigem Überheblichkeitsgefühl einfach die Logik so zurechtzustutzen, Wie Wir sie eben brauchen. Oder ob Wir nicht vielmehr die faustische Verpflichtung haben, die Beruhigung der Logik dort zu verschmähen, Wo Viel ursprünglichere Hintergründe fühlbar Werden. Mathematische Puritaner Wird das Wort „fühlbar“ erschrecken oder abstoßen. Auch das Hereinziehen Goethescher Weltkategorien in diesen Bereich wird unzeitgemaß erscheinen, da Goethe unbestreitbar ein unmathematisch strukturierter Geist war, Wenn man auch von mancher Seite seine angebliche mathematische Veranlagung zu retten versucht.
Zahlen gehört somit nicht zum Typus <math> \aleph_0 </math>. Wohin also ge-
::(<small>Unsere Ansicht des unmathematischen Goethe wird in schlagendster Art allein durch die Farbenlehre, das Musterbeispiel rein qualitativer und vollstandig quantitätsfremder Physik bestätigt.</small>)
hört sie? Das ist noch nicht geklärt und viele modernste
:Diese Einschränkung ändert es jedoch nicht im mindesten, daß die gleiche Goethesche Struktur sich auch auf mathematische Bereiche erstrecken kann und erstrecken muß. Wir reden da nicht ins Leere. Geister wie Poincaré, Boutroux und hervorragende Mathematiker in Deutschland, wie Bieberbach, zielen mit ihren neuesten Forschungen in dieselbe Richtung. Und man läßt sich nicht überall dadurch verblüffen, daß die „Streckung der Logik“ eine Pseudo-Logisierung der Mathematik ergibt. Es ist, noch einmal hervorgehoben, ebenso berechtigt, zu behaupten, es existiere gleichsam ein eigener „mathematischer Gegenstand“, ein Reich der Mathematik, das eher entdeckt als erfunden werden muß. Hat man es entdeckt, kann man es logisch oder logistisch, oder wie man will, kultivieren, verallgemeinern und formalisieren. Dieses Reich ist aber so groß, so voll von unerhörten Wundern, daß sich ein aufmerksamer Historiker niemals einbilden kann und einbilden wird, es sei erschlossen oder auch nur erschließbar. Wieder und wieder wird zwischen den gleißend-glatten Fliesen prunkvoller mathematischer Städte das Gras des ewigen Werdens hervorwuchern, und die Städte werden in Schutt und Trümmer sinken, bis neue Baumeister, in neuem, noch ungesehenem Stil, neue Städte bauen, in denen nie gehörte Idiome erklingen werden.
Forscher neigen dazu, den Begriff der Mächtigkeit über-
:Der Algorithmus aber und die Verallgemeinerung, um wieder rein mathematisch zu sprechen, können riesige und stets riesigere Komplexe umgreifen.
haupt fallen zu lassen.
:'''Irgendwo bleibt aber stets jeder „Überzahl“ doch nur die Anzahl zugeordnet, die es erst erlaubt, mit der Überzahl zu rechnen.'''
 
:Und sowohl der Algorithmus als auch die Verallgemeinerung sind bloß Forschungsgeräte, wenn sie sich auch als Zauberlehrlinge noch so wild gebärden. Man glaubt auch heute nicht mehr so innig wie zur Zeit des großen Laplace an die Allgewalt der industriellen Erschließung der Mathematik durch den Algorithmus. Die besten mathematischen Köpfe Wissen aus eigener primärer, unbestreitbarer Erfahrung zu gut, daß neue mathematische Erkenntnisse nicht nur „errechnet“ oder „kalkuliert“ werden, sondern daß die größten Erleuchtungen Wie nie gehörte Melodien plötzlich aus Urtiefen herauftönen, die auch ihr Schöpfer nie durchleuchten oder ergründen wird.
:Wir dürfen uns aber auch hier leider nicht in Einzel-
:Die reinen Tautologisten und Panlogiker wollen in puritanischem Eifer den Kosmos der Mathematik zur Erstarrung und zum Abschluß, die Untergangspropheten der Richtung Spengler dagegen die mathematische Forschung zur Verzweiflung bringen. Wir behaupten dies in keiner Weise degradierend, sondern konstatierend. Gegen beide Tendenzen meldet sich aber nicht bloß religiöses und faustisches Empfinden, sondern geradezu das biologische Urgesetz, so daß man auch auf diesem Felde den Materialismus materialistisch schlagen könnte. Wozu wir noch, um Mißverständnisse zu vermeiden, anmerken, daß Wir eine rein instrumentale, panlogische Behandlung der Mathematik als durchaus materialistisch betrachten müssen, da der Instrumentalgedanke in einem anderen Weltanschauiingstypus kaum zureichend Widerspruchslos verankert werden kann.
heiten verlieren, sondern Wollen nur, außer den bereits
:Da aber - und dies möge als versöhnlicher Ausklang dieses Kapitels noch angefügt werden - die scharfe Logisierung der Mathematik und die Mathematisierung der Logik zur Vertiefung unserer Wissenschaft mächtig beigetragen haben, sollen nicht die Auswüchse, sondern eher die Früchte dieses Wachstumsprozesses betrachtet Werden. Wir müssen noch einige Provinzen des Reiches der Mathematik durchschreiten, in denen im neunzehnten Jahrhundert mächtige Revolutionen tobten. Trotzdem aber Wollen wir vorgreifend feststellen, daß die Beherrscher der „Provinz Algebra und Verallgemeinerung“ das Haus für die Zukunft Wohlgeordnet haben und daß alles bereitsteht, um neue Gaste und Boten aus dem Jenseits gebührend zu empfangen.
erwähnten, noch einige Paradoxien anführen, die sich aus
der Mengenlehre ergeben. Die bekanntesten Wider-
sprüche liegen in den Begriffen der „Menge aller Kardinal-
zahlen“ und der „Menge aller Ordnungszahlen“ (Anti-
nomie von Burali-Forti). Es muß namlich zu jeder
Kardinalzahl noch eine größere derartige Zahl geben. Da-
her sind die beiden angeführten Mengen unmöglich und
sinnlos. Auch eine „Menge der geraden Ordnungszahlen“
ist sinnlos. Ein Weiteres paradoxes Ergebnis wäre nach
Zermelo und Russel die „Menge aller Mengen, die ein-
ander nicht als Element enthalten“. Ebenso ist die
„Menge aller Mengen“ unmöglich und paradox.
 
:In neuester Zeit haben Hausdorff und andere eine ganze
Reihe anderer mengentheoretischer Paradoxien, speziell
in der Geometrie, entdeckt, die oft zu phantastischen Er-
gebnissen führen. So kann man beweisen, daß sich die
Sonne zerlegen und Wieder zu Apfelgröße zusammen-
setzen läßt, ohne daß etwas Weggenommen, hinzugegeben
oder komprimiert Wird.
 
:Der Begriff der geometrischen „Mannigfaltigkeiten“,
Wie auch Cantor selbst ursprünglich die Mengen nannte,
spielt übrigens schon seit Graßmann und seit Riemann
eine große Rolle in der Mathematik. Es handelt sich
dabei um den primarsten Aufbaubegriff des Ausgedehn-
298
 
 
???6
 
 
ten. Man glaubte nun, und der „gemeine Menschen-
verstand“ hält dies für selbstverständlich, daß die Menge
der Punkte in einer Linie zu den Mengen in der Fläche
oder in den Körpern sich verhalten müßten wie ool zu
ooz zu o<›3. Die Mächtigkeit dieser Mengen müßten
also verschieden sein wie Unendlichkeiten verschiedener
Ordnung. Die Mengenlehre leugnet diesen Unterschied
und kennt nur eine einheitliche Punktmenge für alle
Dimensionen, die stets vom gleichen Grade der Mächtig-
keit ist. Sehr unheimlich ist auch etwa folgende Anti-
nomie. Nehmen wir an, wir hätten in einem gewöhn-
lichen kartesischen Koordinatensystem die Einheit auf
der x-Achse etwa als Mikromillimeter und auf der y-Achse
als Billion von Lichtjahren gewählt. Die Menge der
Punkte in der cc-Richtung muß „natürlich“ dieselbe sein
wie in der y-Richtung, da ja sonst keine eineindeutige
Zuordnung oder Bildung von Zahlpaaren möglich wäre.
Wie nun sehen diese Punkte aus? Kann es irgendein
Verstand fassen, daß es sich dabei um Punkte handelt?
Das müßten doch ebenso „natürlich“ recht ansehnlich
gedehnte Gebilde sein, und zwar gedehnt in der y-Ricl1-
tung. Gut, es sind unendliche Mengen und vor der
Unendlichkeit verschwinden solche lächerliche Unter-
schiede wie das Verhältnis von einem Mikromillimeter zu
einer Billion Lichtjahre. Aber? Da gibt es kein „Aber“.
Wenn wir nämlich plötzlich die Maßstäbe der Koordinaten
tauschen, entsteht nicht etwa eine furchtbare Umwälzung,
sondern es geschieht mengentheoretisch und analytisch
überhaupt nichts. Nicht einmal die bescheidenste Trans-
formation.
Kurz, faustisch betrachtet, hat sich hier wieder einmal
die Kabbala mit den gotischen Spitzbogengewölben ver-
schwistert, die sich in unheimlich-ahnungsschweres
Dunkel verlieren. Der Logiker wird nicht erschrecken.
Er wird rechnen, wird sondern, prüfen, begrenzen, wird
überlegen lächelnd behaupten, es seien gleichsam un-
geduldige Kinder, die sich stets unter all diesen rein
denkmaschinellen Dingen etwas „Anschauliches“ vor-
299
 
 
 
 
 
stellen müßten. Man dürfe sich nichts vorstellen, sonst
sei man bereits irgendwie mit außermathematischen An-
sprüchen verseucht oder gar bloß infantil.
In dieser starren, gläsernen Begrenzung des Magischen
wurde und wird auch die Mengenlehre zum Algorithmus
ausgebaut und als Untermauerung der Zahlen-, der
Funktionen- und der Integraltheorie verWendet._ Sie
Wird mit einem Fingerschnippen sofort Wieder ein Über-
bau der ganzen Mathematik und sogar der _Logik. Sie
wird überhaupt, Wie die Gruppentheorie, zur Überwissen-
schaft, zur allgemeinen Denkkategorie.
Aber sie zeigt uns, wenn man so sagen darf, überall die
Drachenzähne, und mehr als je stehen wir vor der Tatsache,
daß jeden Augenblick die Donnerstimme ertönen kann:
„Du gleichst dem Geist, den du begreifst, nicht mirl“
Denn die Intuition ist nicht bloß ein Requisit von
Kindern, sondern in ihren Spitzenleistungen ein Requisit
des Göttlichen. Wieder erhebt sich die dunkle Frage, ob
wir Menschlein vollkommen ungestraft den Bereich der
„Ge oikouméne“, der bewohnten Erde, verlassen und uns
jenseits dieser Grenzen im Bereich Gottes tummeln
dürfen. Ungestraft in dem Sinne, als es sehr fraglich ist,
ob Wir berechtigt sind, uns in magisch-diesseitigem Über-
heblichkeitsgefühl einfach die Logik so zurechtzustutzen,
Wie Wir sie eben brauchen. Oder ob Wir nicht vielmehr die
faustische Verpflichtung haben, die Beruhigung der
Logik dort zu verschmähen, Wo Viel ursprünglichere
Hintergründe fühlbar Werden. Mathematische Puritaner
Wird das Wort „fühlbar“ erschrecken oder abstoßen.
Auch das Hereinziehen Goethescher Weltkategorien in
diesen Bereich wird unzeitgemaß erscheinen, da Goethe
unbestreitbar ein unmathematisch strukturierter Geist
war, Wenn man auch von mancher Seite seine angebliche
mathematische Veranlagung zu retten versucht*).
*) Unsere Ansicht des unmathematischen Goethe wird
in schlagendster Art allein durch die Farbenlehre, das
Musterbeispiel rein qualitativer und vollstandig quantitäts-
fremder Physik bestätigt.
300
 
 
 
 
Diese Einschränkung ändert es jedoch nicht im minde-
sten, daß die gleiche Goethesche Struktur sich auch auf
mathematische Bereiche erstrecken kann und erstrecken
muß. Wir reden da nicht ins Leere. Geister wie Poincaré,
Boutroux und hervorragende Mathematiker in Deutsch-
land, wie Bieberbach, zielen mit ihren neuestenFors chungen
in dieselbe Richtung. Und man läßt sich nicht überall
dadurch verblüffen, daß die „Streckung der Logik“ eine
Pseudo-Logisierung der Mathematik ergibt. Es ist,
noch einmal hervorgehoben, ebenso berechtigt, zu be-
haupten, es existiere gleichsam ein eigener „mathemati-
scher Gegenstand“, ein Reich der Mathematik, das eher
entdeckt als erfunden werden muß*). Hat man es ent-
deckt, kann man es logisch oder logistisch, oder wie man
will, kultivieren, verallgemeinern und formalisieren.
Dieses Reich ist aber so groß, so voll von unerhörten
Wundern, daß sich ein aufmerksamer Historiker niemals
einbilden kann und einbilden wird, es sei erschlossen
oder auch nur erschließbar. Wieder und wieder Wird
zwischen den gleißend-glatten Fliesen prunkvoller ma-
thematischer Städte das Gras des ewigen Werdens her-
vorwuchern, und die Städte werden in Schutt und Trüm-
mer sinken, bis neue Baumeister, in neuem, noch un-
gesehenem Stil, neue Städte bauen, in denen nie gehörte
Idiome erklingen werden.
Der Algorithmus aber und die Verallgemeinerung, um
wieder rein mathematisch zu sprechen, können riesige
und stets riesigere Komplexe umgreifen. Irgendwo
bleibt aber stets jeder „Überzahl“ doch nur
die Anzahl zugeordnet, die es erst erlaubt,
mit der Überzahl zu rechnen. Und sowohl der
Algorithmus als auch die Verallgemeinerung sind bloß
Forschungsgeräte, wenn sie sich auch als Zauberlehrlinge
noch so wild gebärden. Man glaubt auch heute nicht
mehr so innig wie zur Zeit des großen Laplace an die
Allgewalt der industriellen Erschließung der Mathematik
 
 
 
 
 
 
301
durch den Algorithmus. Die besten mathematischen
Köpfe Wissen aus eigener primärer, unbestreitbarer Er-
fahrung zu gut, daß neue mathematische Erkenntnisse
nicht nur „errechnet“ oder „kalkuliert“ Werden, sondern
daß die größten Erleuchtungen Wie nie gehörte Melodien
plötzlich aus Urtiefen herauftönen, die auch ihr Schöpfer
nie durchleuchten oder ergründen Wird.
Die reinen Tautologisten und Panlogiker Wollen in
puritanischem Eifer den Kosmos der Mathematik zur
Erstarrung und zum Abschluß, die Untergangspropheten
der Richtung Spengler dagegen die mathematische
Forschung zur Verzweiflung bringen. Wir behaupten
dies in keiner Weise degradierend, sondern konstatierend.
Gegen beide Tendenzen meldet sich aber nicht bloß
religiöses und faustisches Empfinden, sondern geradezu
das biologische Urgesetz, so daß man auch auf diesem
Felde den Materialismus materialistisch schlagen könnte.
Wozu wir noch, um Mißverständnisse zu vermeiden,
anmerken, daß Wir eine rein instrumentale, panlogische
Behandlung der Mathematik als durchaus materialistisch
betrachten müssen, da der Instrumentalgedanke in
einem anderen Weltanschauiingstypus kaum zureichend
Widerspruchslos verankert werden kann.
Da aber -- und dies möge als versöhnlicher Aus-
klang dieses Kapitels noch angefügt werden -- die
scharfe Logisierung der Mathematik und die Mathemati-
sierung der Logik zur Vertiefung unserer Wissenschaft
mächtig beigetragen haben, sollen nicht die Auswüchse,
sondern eher die Früchte dieses Wachstumsprozesses be-
trachtet Werden. Wir müssen noch einige Provinzen des
Reiches der Mathematik durchschreiten, in denen im
neunzehnten Jahrhundert mächtige Revolutionen tobten.
Trotzdem aber Wollen wir vorgreifend feststellen, daß die
Beherrscher der „Provinz Algebra und Verallgemeine-
rung“ das Haus für die Zukunft Wohlgeordnet haben und
daß alles bereitsteht, um neue Gaste und Boten aus dem
Jenseits gebührend zu empfangen.
302