Diskussion:Fixpunkttheorem

Letzter Kommentar: vor 4 Jahren von Frogfol in Abschnitt Abschnitt Modallogische Interpretation

Wissenschaftsgeschichte

Bearbeiten

"Es war implizit in Gödel Beweis von 1931 enthalten, wurde von R. Carnap 1934 erkannt und erst von G. Boolos und W. Jeffrey 1974 ausdrücklich formuliert."

So Volker Beeh: Die halbe Wahrheit. Tarkis Definition & Tarskis Theorem. mentis, Paderborn 2003, ISBN 3.89785-297-7,S. 87
--Karl-Hagemann (Diskussion) 21:20, 14. Apr. 2019 (CEST)Beantworten

Lemma

Bearbeiten

"Fixpunkttheorem" ist unüblich, es findet sich in der Literatur nur "Fixpunktsatz", ich schlage vor, darauf (ohne WL) zu verschieben.--Frogfol (Diskussion) 16:42, 14. Apr. 2020 (CEST)Beantworten

Abschnitt Modallogische Interpretation

Bearbeiten

Inwiefern ist das ein Beweis? Eher doch eine Interpretation bzw. Formulierung.--Frogfol (Diskussion) 16:55, 14. Apr. 2020 (CEST)Beantworten