|
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 |
|
|
|