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

Hennig Genz über Beweise – Lexikon der Argumente

II 187
Beweis/Genz: Ein Beweis ist nicht leicht von seinem Protokoll zu unterscheiden. Kann es Beweise geben, die kein Protokoll erlauben?
Quantencomputer/Genz: Ein Quantencomputer 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.
>Beweisbarkeit
, vgl. >Quantenmechanik.

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

Gz I
H. Genz
Gedankenexperimente Weinheim 1999

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

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