Emil Leon Post

#	Item
1	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 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
2	Volume5-11-Urquhart.dvi Add to Reading List Source URL: www.ualberta.ca Language: English - Date: 2009-01-22 01:11:43 Propositional calculus Logical truth Formal languages Logical syntax Principia Mathematica Emil Leon Post Type theory Entscheidungsproblem Tautology Logic Mathematics Mathematical logic