董世平，中原大學數學系
In this talk we will first introduce the background of Gödel’s Incompleteness Theorem. We then will explain the meaning and the ideas of the proof this theorem. Finally, we talk about it’s impact on Mathematics, Computer Science, and Philosophy.
Slides now online.