Philosophie Lexikon der ArgumenteHome | |||
| |||
Arithmetik: Die Arithmetik ist ein Teilgebiet der Mathematik, das sich mit Zahlen, ihren Eigenschaften und Operationen beschäftigt._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Christian Thiel über Arithmetik – Lexikon der Argumente
I 225 Arithmetik/Lorenzen/Thiel: Die Arithmetik ist die Theorie in der das Unendliche in seiner einfachsten Form auftritt, sie ist im Wesentlichen nichts anderes als die Theorie des Unendlichen selbst. Die Arithmetik als Theorie der Zeichenmenge (z.B. Strichliste) ist in dem Sinne universell, als in ihr die Eigenschaften und Relationen jeder anderen unendlichen Zeichenmenge stets auf irgendeine Weise "abgebildet" werden können. Die Komplexität der Materie hat dazu geführt, dass ein Großteil der Sekundärliteratur zu Gödel auf Metaphern wie "Spiegelung" "Selbstrückbezüglichkeit" usw. eine Menge Unsinn in die Welt gesetzt hat. >Selbstbezüglichkeit, vgl. >Regis Debray. I 224 Der logisch arithmetische Vollformalismus wird mit F bezeichnet. Er enthält u.a. induktive Definitionen der Zählzeichen, der Variablen für sie, die Regeln der Quantorenlogik und die als Regeln geschriebenen Dedekind-Peanoschen Axiome.> >Formalisierung, >Formalismus. I 226 Die Ableitbarkeit oder Unableitbarkeit einer Formel bedeutet nichts anderes, als Existenz bzw. Nichtexistenz einer Beweisfigur oder eines Stammbaums mit A als Endformel. Deshalb entsprechen auch die metamathematischen Aussagen "ableitbar", bzw. "unableitbar" jeweils umkehrbar eindeutig einer sie charakterisierenden Grundzahl. > Unvollständigkeitssatz/Gödel. Terminologie/Schreibweise: S ableitbar, $ nicht ableitbar. "$ Ax(x)" ist nun zweifellos eine korrekt definierte Aussageform, da die Abzählung bei An(n) eindeutig bestimmt ist. Entweder gilt $An(n) oder nicht. >Ableitung, >Ableitbarkeit. Thiel I 304 Die jahrhundertealte Dominanz der Geometrie hat Nachwirkungen im Sprachgebrauch. Bsp "quadratische", "kubische" Gleichungen usw. Arithmetik/Thiel: Die Arithmetik ist heute zur Zahlentheorie geworden, ihr praktischer Teil zum "Rechnen" degradiert, Wahrscheinlichkeitsrechnung ist hinzugekommen. >Wahrscheinlichkeit, >Wahrscheinlichkeitsgesetze. I 305 In der Vektor- und Tensorrechnung erscheinen Geometrie und Algebra wiedervereinigt. Eine neue Disziplin namens "Invariantentheorie" kommt auf, floriert und verschwindet völlig, um wiederum später abermals wiederaufzuerstehen. >Invarianz. I 306 Funktionenanalysis: taugt wegen des sehr hohen Niveaus der begrifflichen Abstraktion sicher nicht zur Fundamentaldisziplin. I 307 Bourbaki stellt den klassischen "Disziplinen" die "modernen Strukturen" gegenüber. Die Theorie der Primzahlen ist der Theorie der algebraischen Kurven eng benachbart. Die Euklidische Geometrie grenzt an die Theorie der Integralgleichungen. Das Ordnungsprinzip wird eins der Hierarchie der Strukturen sein, die von einfachen zum Komplizierten und von Allgemeinen zum Besonderen geht. >Strukturen._____________ 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. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |