Philosophie Lexikon der ArgumenteHome | |||
| |||
Mathematik: Mathematik ist die Lehre von Mustern und Beziehungen. Sie umfasst Arithmetik, Algebra, Kalkül, Geometrie, Trigonometrie, Topologie und andere. Mathematik wird in Wissenschaft, Technik, Wirtschaft und Finanzen eingesetzt. Siehe auch Physik, Logik._____________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 |
---|---|---|---|
Paul Lorenzen über Mathematik – Lexikon der Argumente
Thiel I 225 Arithmetik/Lorenzen: 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. >Unendlichkeit, >Zahlen. 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. 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. I 226 Die Ableitbarkeit oder Unableitbarkeit einer Formel bedeutet nichts anderes, als Existenz bzw. Nichtexistenz einer Beweisfigur oder eines Stammbaums mit A als Endformel. >Ableitung, >Ableitbarkeit, >Syntax. Deshalb entsprechen auch die metamathematischen Aussagen "ableitbar", bzw. "unableitbar" jeweils umkehrbar eindeutig einer sie charakterisierenden Grundzahl. >Metamathematik._____________ 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. |
Lorn I P. Lorenzen Constructive Philosophy Cambridge 1987 T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |