Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Lorenzen, Paul
 
Bücher bei Amazon
Vollständigkeit 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.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987

> Gegenargumente gegen Lorenzen



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 24.03.2017