Diskussion:Fixpunkttheorem
Letzter Kommentar: vor 4 Jahren von Frogfol in Abschnitt Abschnitt Modallogische Interpretation
Wissenschaftsgeschichte
[Quelltext 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
Lemma
[Quelltext 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)
Abschnitt Modallogische Interpretation
[Quelltext bearbeiten]Inwiefern ist das ein Beweis? Eher doch eine Interpretation bzw. Formulierung.--Frogfol (Diskussion) 16:55, 14. Apr. 2020 (CEST)