That a quite clear category for mathematical proof, on the other hand humans are complex systems and there the halting problem with doesn’t give you “surely” when it comes to understanding what a complex system does.
That a quite clear category for mathematical proof, on the other hand humans are complex systems and there the halting problem with doesn’t give you “surely” when it comes to understanding what a complex system does.