Наредни састанак Семинара биће одржан онлајн и уживо у петак, 3. марта 2023, сали 301ф Математичког института САНУ са почетком у 12 часова.
Предавач: Лука Марковић, Математички факултет Универзитета у Београду
Наслов предавања: ГЕДЕЛОВЕ ТЕОРЕМЕ НЕПОТПУНОСТИ И ИНТЕРПРЕТАЦИЈЕ
Апстракт:
Године 1931, млади аустријски математичар Курт Гедел објављује своје две
теореме непотпуности чиме доводи у сумњу тада актуелни покушај формалног
заснивања целе математике, познатијег као „Хилбертов програм“. Грубо
говорећи, ове теореме стављају велика ограничења на нашу изградњу
потпуних и непротивречних формалних система. Овако изненађујућ резултат
често је подложан погрешним тумачењима, како математичким тако и
филозофским. У овом предавању излажемо кратку историјску позадину
Геделовог достигнућа које се сматра једним од најзначајнијих резултата
математичке логике и у главним цртама износимо доказ Геделових теорема
заједно са њиховим различитим интерпретацијама.
Линк за приступ предавању: https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj
Линк за регистрацију: https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73