Diskussion:Fixpunkttheorem
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 14. April 2020 um 14:55 Uhr durch imported>Frogfol(1471667) (Neuer Abschnitt →Abschnitt Modallogische Interpretation).
Wissenschaftsgeschichte
"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)
Lemma
"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
Inwiefern ist das ein Beweis? Eher doch eine Interpretation bzw. Formulierung.--Frogfol (Diskussion) 16:55, 14. Apr. 2020 (CEST)
