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
Genz, Henning
 
Bücher bei Amazon
Beweise II 187
Beweis/Genz: ist nicht leicht von seinem Protokoll zu unterscheiden. Kann es Beweise geben, die kein Protokoll erlauben?
Quantencomputer/Genz: hört auf zu funktionieren, wenn zwischendurch eingegriffen wird. Daher könnte ein Beweis durch ihn nicht kontrolliert werden. Er selbst kann den Prozess den er durchlaufen hat, auch nicht ausdrucken. Wohl aber kann man am Ende sehen, ob es richtig war.

Gz I
H. Genz
Gedankenexperimente Weinheim 1999

Gz II
Henning Genz
Wie die Naturgesetze Wirklichkeit schaffen. Über Physik und Realität München 2002

> Gegenargumente gegen Genz



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