If Gödel's Theorem is true, it means that for every formal system, there is a thesis that is true but can't be proven from the formal system. Every agent system which humans can build by modern computer is a formal system. That means that there are some truths in the causal world which can't be verified by the agent. But if the human mind is also a formal system under formal rules, the truth that can't be verified by the machine agent also can't be verified by humans. Then the above truth can only be appreciated by God.
Someone will argue that humans aren't formal systems for they have creativity, imagination, can create new axioms. But that just means that creativity and imagination can't be formalized at all. So I infer that Strong AI is impossible because the human mind has some mysterious faculty beyond the formal system.
As a programmer, I would be happy if Strong AI were realizable. So should I discard Gödel's theorem?