Diskussion:Logik höherer Stufe
Letzter Kommentar: vor 15 Jahren von 217.232.234.171 in Abschnitt Wer formalisierte was?
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?
[Quelltext bearbeiten]"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)