Gödel est célèbre grâce à plusieurs théorèmes de logique mathématique qu'il a énoncés et démontrés; ceux-ci ont de nombreuses implications philosophiques et concrètes. Ses travaux s'imbriquent avec les problèmes de l'informatique et de l'intelligence artificielle.