Diskussion:Logik höherer Stufe
HOL geht sogar auf Bertrand Russells Typentheorie zurück. Church hat diesen nur vereinfacht. --217.86.176.166 Diskussion:Logik h%C3%B6herer Stufe#c-217.86.176.166-2008-08-26T12:49:00.000Z11
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 Diskussion:Logik h%C3%B6herer Stufe#c-217.232.234.171-2009-11-05T08:55:00.000Z-Wer formalisierte was?11