Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Beweis: ein Beweis in der Logik oder Mathematik ist eine endliche Zeichenkette, die die Wahrheit einer Aussage in einem System aus den Axiomen des System zusammen mit bereits bewiesenen Aussagen herleitet. Siehe auch Beweistheorie, Beweisbarkeit, Syntax, Aciome.

_____________
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

Friedrich Waismann über Beweise – Lexikon der Argumente

Friedrich Waismann Suchen und Finden in der Mathematik 1938 in Kursbuch 8 Mathematik 1967
84
Beweis/sinnvoll/sinnlos/Waismann: Bsp Wie wird die Aussage "Dieser Mann ist vor fünf Stunden gestorben" bewiesen? Man nennt die Anwendung einer medizinischen Entdeckung hier den Beweis dafür, dass es sich so verhält.
Diese Entdeckung ändert nichts an dem Sinn des Satzes "Dieser Mann ist vor fünf Stunden gestorben". Die Entdeckung entdeckt, dass eine bestimmte Hypothese wahr ist.

In der Mathematik ist es anders: den mathematischen Beweis konnte man nicht beschreiben, ehe er gefunden war.
>Entdeckungen
, >Konstruktivismus, >Sinnloses.
85
"Lösbar" bedeutet eine Struktur, die man, ohne sie zu kennen, nicht bezeichnen kann.

Bsp Die Methode der Zerlegung führt etwas ganz neues ein, so wie auch die negativen Zahlen etwas ganz neues sind.
>Methode, >Sinn, >Bedeutung.
Bsp Angenommen, wir hätten nur die Multiplikation erklärt, dann hätten Begriffe wie "Dividend" "Divisor" usw. gar keinen Sinn und die Frage nach ihnen gar keinen Raum.

86
Bsp Wenn wir ein Osterei im Zimmer suchen hat die Frage nach dem Begriff des Ostereis keinen Sinn, weil wir das Osterei fast beliebig genau beschreiben können.
Bsp Im Fall der Dreiteilung des Winkels kann man, soweit die exakten Begriffe reichen, weder von Möglichkeit noch von Unmöglichkeit reden.

Bsp Angenommen, in einer Arithmetik, in der nur die Multiplikation bekannt ist, kann man zwar fragen "Ist diese Zahl zerlegt?", d.h. haben wir eine Multiplikation ausgeführt, bei der sie als Produkt herausgekommen ist? Dagegen nicht: "Ist sie zerlegbar?."
>Ideologie/Quine.
87
Die andere Frage ist erst zu beantworten, wenn wir zum nächsten Kalkül, der Division übergehen.
Aber auch hier ist es eigentlich nicht sinnvoll, von einer Möglichkeit zu reden, sondern von einer Regel. Zu sagen, wir können die Zahl nicht zerlegen, erweckt den falschen Eindruck, wir würden es versuchen und dann auf ein Hindernis stoßen.
In Wirklichkeit bauen wir unser System aus und sehen dann nicht neue Möglichkeiten sondern haben neue Regeln.
>Regeln.
Wenn einer will, kann er auch weiterhin mit Zirkel und Lineal suchen, das ist an sich nicht falsch und wird durch den Beweis auch nicht verboten.
Nur bedeutet es jetzt nicht mehr das, was es früher bedeutet hat.
>Bedeutungswandel, >Theoriewechsel.

_____________
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 Argumente
Der 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.

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

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

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   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