godel took it to be a mathematically established fact that either the idealised human mind surpasses the powers of any finite machine, or else there exist absolutely unsolvable diophantine problems