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.
 
Autor/Titel Begriff Exzerpt Metadaten
Tarski, Alfred
 
Bücher bei Amazon
Beweise Berka I 406
Unendlich/Beweis/Tarski: Lösung: Bei unendlichen Systemen müssen wir Beweisbarkeit statt tatsächlicher Beweise untersuchen. ((s) Beweise können nur endliche Zeichenketten sein.)

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Tarski



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 26.03.2017