IPM

                                پژوهشگاه دانش‌های بنیادی
پژوهشکدهٔ ریاضیات


Mathematics Colloquium سمینار عمومی ریاضیات




TITLE  
How Godel Became Godel


SPEAKER  
Piergiorgio Odifreddi  
University of Turin, Italy  
 


TIME  
Wednesday, February 27, 2019,   16:00 - 17:00


VENUE   Lecture Hall 1, Niavaran Bldg.



SUMMARY

 

The incompleteness theorem proved by Godel in 1931 is considered one of the jewels of the mathematics of the XX Century, and it has been widely discussed by specialists and crackpots. Usually it is considered as a very subtle statement with a technically very complicated proof, but this is mostly due to the fact that it is usually formulated and proved in the final version published by Godel himself, which is actually the result of a number of successive approximations, each stronger than the previous one. By retracing the intellectual road followed by Godel in the years 1930 and 1931, I will try to show how his incompleteness results are actually very natural and simple answers to questions that were in the air in the Vienna of his times. All in accord with Godel's own view, who repeatedly stressed that the main difficulty of his work was not technical, but ideological.

 




تهران، ضلع‌ جنوبی ميدان شهيد باهنر (نياوران)، پژوهشگاه دانش‌های بنيادی، پژوهشکده رياضيات
School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Niavaran Bldg., Niavaran Square, Tehran
ipmmath@ipm.ir   ♦   +98 21 22290928   ♦  math.ipm.ir