Diskussion:Fixpunkttheorem

Wissenschaftsgeschichte Bearbeiten

Letzter Kommentar: vor 5 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

"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

Letzter Kommentar: vor 4 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

"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

Letzter Kommentar: vor 4 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

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

Abschnitt hinzufügen