Generating, Solving and the Mathematics of Homo Sapiens: Emil Post’s Views on Computation
Liesbeth De Mol · WORLD SCIENTIFIC eBooks · 2012
For if symbolic logic has failed to give wings to mathematicians this study of symbolic logic opens up a new field concerned with the fundamental limitations of mathematics, more precisely the mathematics of Homo Sapiens."Emil Leon Post, 1936