Date/Time Date(s) - 04/11/20243:30 pm - 4:30 pm
Location: Hamilton Hall, Room 302
Speaker: Ilgwon Seo
Title: Complete Proofs of Gödel’s Incompleteness Theorems
Abstract: In 1920s, One of the most influential mathematicians, David Hilbert proposed to formulate mathematics with axioms. In 1931, however, one of the results put a limitation on his program. This limitation is called Gödel’s Incompleteness theorem, which states our axiomatic system cannot prove its own consistency and is not even complete. In this talk, we will explore the key concepts and methods leading to this theorem—including the structure of recursive functions, encoding techniques, and logical formalizations—that collectively demonstrate the limits of formal systems in mathematics.