Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
Thiel I 73
Theorie/Mathematik/Thiel: Der Ausdruck "Metamathematik" war in anderer Bedeutung schon im 19. Jahrhundert aufgetreten, neu formuliert von Hilbert.
Hilbert hatte nachgewiesen, dass bei Euklid nicht alle in den geometrischen Sätzen verwendeten Eigenschaften wirklich aus den in den Axiomen erfassten Grundeigenschaften entwickelt sind. Es war also unvollständig.
>Axiome, >Axiome/Hilbert.
Nach Arbeiten Cantors Ende des 19. Jahrhunderts sah es so aus, als könnte man tatsächlich ein vollständiges Axiomensystem finden. Dazu hätte es freilich keiner Metamathematik bedurft.
>Vollständigkeit, >Unvollständigkeit.
I 75
Metamathematik macht einen Unterschied zwischen dem Nachweis, dass eine Aussage A nicht widerlegt werden kann, (dem Nachweis, dass ihr Gegenteil nicht begründbar ist) und einer "positiven" Begründung von A. Das erste ist eine Widerlegung von ~A also ein Beweis von ~~A, das zweite ein Beweis von A.
I 76
Neu: In der Metamathematik werden die Existenzaussagen strenger aufgefasst. Wer jetzt die Existenz eines Beweises behauptet, muss auch einen nachprüfbaren Weg angeben, wie man einen solchen Beweis konstruieren kann. Def "effektive" oder "konstruktive" Existenzbehauptung.
>Beweise, >Beweisbarkeit, >Syntax.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.