Diskussion:Logik höherer Stufe

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 14 Jahren von 217.232.234.171 in Abschnitt Wer formalisierte was?
Zur Navigation springen Zur Suche springen

HOL geht sogar auf Bertrand Russells Typentheorie zurück. Church hat diesen nur vereinfacht. --217.86.176.166 14:49, 26. Aug. 2008 (CEST)Beantworten

Wer formalisierte was?[Quelltext bearbeiten]

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

"Entwickelt um 1940 als ein Versuch der Formalisierung der Logik in der Principia Mathematica von Whitehead und Russell, ist sie von Leon Henkin und Peter Andrews eingehend untersucht worden." Wer hat das versucht? Alonzo Church? Und was genau wollte er formalisieren? Die Logik der Principia Mathematica? Was ist das? Eine Metatheorie der Principia? Oder ein neuer Versuch der Formalisierung der Logik in der Sprache der Principia? Etwas mehr Klarheit wäre wünschenswert. --217.232.234.171 09:55, 5. Nov. 2009 (CET)Beantworten

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Logik_höherer_Stufe&oldid=156460944“