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)