Comment by scandox

What formalism, if any, is the human mind subject to? Isn't our current conception of a machine that it will bound to some formalism in terms of reasoning? Are we so bound?