Philosophie Lexikon der Argumente

Suche  
 
Beweis (Logik, Mathematik): endliche Zeichenkette, die die Wahrheit einer Aussage in einem System aus den Axiomen des System zusammen mit bereits bewiesenen Aussagen herleitet.

_____________
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/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Re III 265
Beweis: gilt als ein syntaktischer Begriff, der nur die formalen Eigenschaften logischer Ausdrücke berücksichtigt, ohne sich um die Bedeutung zu kümmern. (Konstruktivismus).

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



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