The Incompleteness Theorem published by Kurt Gödel 90 years ago is an epoch-making contribution to human thought. Gödel pointed out that there is an "infinite distance" between the proof of the formal mathematical system and the mathematical truth. Moreover, his understanding of computability and the deterministic problem of formal systems was finally combined with the Turing machine, laying the theoretical foundation of computer science, and giving birth to artificial intelligence and cognitive science with the core of computationalism. Today, artificial intelligence and cognitive science are advancing all the way, but they are suspected of ignoring Gödel's thoughts. Therefore, it is necessary to reiterate the immeasurable ideological value of Gödel's theorem and explore how to break through the limitations of the formal mathematical system to human cognition. Kurt Gödel once said, the meaning of the world is the separation (and its overcoming) of fact and wish. What is the meaning of this sentence? The lecture will also re-examine Gödel's understanding of human rationality.