Philosophie Lexikon der Argumente

Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Waismann I 75
Löwenheim-Skolem/Waismann: bewies, dass es ausgeschlossen ist, mit endlich vielen Axiomen die Zahlenreihe zu charakterisieren.
Jede Aussage die in der Arithmetik der natürlichen Zahlen gilt, gilt nämlich auch für Gebilde anderer Art, so dass es unmöglich ist, die Zahlenreihe durch irgendwelche inneren Eigenschaften vor Reihen anderer Art auszuzeichnen.
Bsp Frappantes und nicht triviales Beispiel ist, dass die Umdeutung des Begriffs der ganzen Zahl möglich ist, obwohl soviel gefordert wird, dass man glauben könnte, diese Sätze könnten nur für die ganzen Zahlen gelten:
I 76
Die ganzen Zahlen sind
1. linear geordnet
2. Sie reproduzieren sich durch Addition, Multiplikation, Subtraktion. Komm. Asso., Distr. usw. Null Element, Einselement,
3. Begriffe der Teilbarkeit, der Einheiten, relativ prim usw : sind a und b relativ prim, so gibt es zwei Zahlen x und y derart, dass ax by = 1 ist.
Nun kann man auch Polynome der Form

antn + an 1tn 1 + ....a1t + ao

nach den 5 Axiomen bilden, die ursprünglich nur für natürlichen Zahlen gedacht waren.
Satz von Löwenheim Skolem: eine solche Umdeutung wird stets möglich sein, durch wie viele Eigenschaften man auch den Begriff der natürlichen Zahlen zu fassen sucht.


_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders.

Wa I
F. Waismann
Einführung in das mathematische Denken Darmstadt 1996

Wa II
F. Waismann
Logik, Sprache, Philosophie Stuttgart 1976

> Gegenargumente gegen Waismann

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 22.09.2017