Diskussion:Fixpunkttheorem

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 4 Jahren von Frogfol in Abschnitt Abschnitt Modallogische Interpretation
Zur Navigation springen Zur Suche springen

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
--Karl-Hagemann (Diskussion) 21:20, 14. Apr. 2019 (CEST)Beantworten

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)Beantworten

Abschnitt Modallogische Interpretation

[Quelltext bearbeiten]

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