Date/Time
Date(s) - 04/11/2024
3: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.