Kurt Gödel        zurück ]      [ Stichworte ]      [ Die Hyper-Bibliothek ]      [ Systemtheorie ]         [ Meine Bücher ]
 

Literatur

Über die Vollständigkeit
Über unentscheidbare Sätze

bild

siehe auch

Gödel, Escher, Bach

zitiert in:

Mathematik

Zur Person

bild bild

Kurt Gödel (1906-1978) war Mathematiker und gilt als bedeutendster Logiker des 20. Jh.; er bewies u.a. die Vollständigkeit der Quantorenlogik erster Stufe und schrieb auch über die Grundlagen der Mathematik sowie der Relativitätstheorie.

Zitate

Hinweis:
Viel Verwirrung entsteht aus dem Zusammenhang der Gödelschen Unvollständigkeitssätze mit dem Gödelschen Vollständigkeitssatz. Der Gödelsche Vollständigkeitssatz besagt, dass in der Prädikatenlogik erster Stufe (PL1) alle ableitbaren Sätze wahr, und umgekehrt alle wahren Sätze ableitbar sind, und damit, dass Syntax und Semantik für die PL1 zusammenfallen.


 
[wp]