> Isn't our current conception of a machine that it will bound to some formalism in terms of reasoning? No, that's just a current limitation of the kind of mac

> Isn't our current conception of a machine that it will bound to some formalism in terms of reasoning? No, that's just a current limitation of the kind of machines we know how to make.