Diskussion:Logik höherer Stufe

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?

Letzter Kommentar: vor 15 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

Abschnitt hinzufügen