Princeton University Library / City College / New York City College / /
IndustryTerm
final normal systems / desired ultimate algorithm / symbol manipulating systems / complicated machinery / tag systems / possible systems / normal systems / intelligent machinery / weather prediction software / symbolic systems / correct solution / formal device / formal devices / natural law / /
Organization
New York City College / Alonzo Church / Princeton University / Manuscripts Department / Department of Rare Books and Special Collections / American Philosophical Society / Fund for Scientific Research / /
Person
Maurice Margenstern / Emil Leon / Marvin Minsky / Martin Davis / Hermann Weyl / /
Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of