The human mind can grasp platonic/Aristotelian forms, which are at least potentially infinite in ways of being instantiated. Computers can only deal with finit

The human mind can grasp platonic/Aristotelian forms, which are at least potentially infinite in ways of being instantiated. Computers can only deal with finite things, such as arithmetic. That's the fundamental difference between the two. Hence Gödel's second theorem that no axiomatic system can know truth, whereas we can know his theorem is true.