6 Sep Talk: Gödel's Incompleteness Theorems

[Siddhartha Jain]

Dear all, 

Please find below the details of Thursday's talk.

Speaker: Dr Sankha Basu 

Abstract: Kurt Gödel, in 1931, published a relatively short paper in German titled "Uber formal unentscheidbare sätze der Principia Mathematica und verwandter systeme" ("On formally undecidable propositions of Principia Mathematica and related systems"). This paper, published when he was only 25, went on to become one of the major milestones in the history of logic and mathematics. Even though this work can be best described as some negative results (in the sense that it proves the impossibility of proving certain important propositions in arithmetic), Harvard University, while awarding Gödel an honorary degree in 1952, cited his work as one of the most significant advances in logic in modern times.

In this talk, I will briefly go over the history and the concept of an axiomatic system, Peano's axioms for arithmetic, and then state and prove (time permitting) the Incompleteness Theorems.

Venue: TBD 

Time: 1 pm - 2 pm, 6 September 2018

Regards

Siddhartha Jain

sidjain.me

Coordinator | Évariste
Student Senate '18-'19

CSAM Undergrad | IIIT Delhi 

[Siddhartha Jain]

The venue for the talk is C24.