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*

Beanstandungen werden
nicht veröffentlicht.

 
Berka I187
Vollständigkeit/intuitionistischer Prädikatenkalkül/Berka: die Vollständigkeit hinsichtlich der Semantiken von Kripke u. Lorenzen ist mehrfach bewiesen worden, aber immer mit klassischen Mitteln.
Einen intuitionistischen Vollständigkeits Beweis hat man noch nicht gefunden (1983). Im Gegenteil. Kreisel (1962) bewies, dass intuitionistisch aus der intuitionistischen Church These die Unvollständigkeit des intuitionistischen Prädikatenkalküls folgt.

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.