31 Aug Talk: Gödel's Incompleteness Theorems

[Siddhartha Jain]

Dear all, 

Please find below the details of Friday'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: A007 

Time: 1 pm - 2 pm, 31 August 2018

Regards

Siddhartha Jain

sidjain.me

Coordinator | Évariste
Student Senate '18-'19

CSAM Undergrad | IIIT Delhi 

[Siddhartha Jain]

Note that the venue has been changed to C12.

[Sankha S Basu]

Dear Siddhartha,

I am sorry to inform that I have to cancel tomorrow's talk. I have a family emergency and I'll not be free by 1 pm.

I can deliver the talk any day next week (Tuesday - Thursday) or the week after. I will be out of town on Friday, next week.

Once again, I am really sorry for this last minute cancelation.

Best wishes.

  Sankha S. Basu

  Assistant Professor

  Department of Mathematics

--
You received this message because you are subscribed to the Google Groups "Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to theory+un...@iiitd.ac.in.
To post to this group, send email to the...@iiitd.ac.in.
Visit this group at https://groups.google.com/a/iiitd.ac.in/group/theory/.