Diskussion:Logik höherer Stufe
aus Wikipedia, der freien Enzyklopädie
HOL geht sogar auf Bertrand Russells Typentheorie zurück. Church hat diesen nur vereinfacht. --217.86.176.166 14:49, 26. Aug. 2008 (CEST)
Wer formalisierte was?
"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)
