Студентски семинар, 3. март 2023.

• 01. Март, 2023
• Коментари (0)

Наредни састанак Семинара биће одржан онлајн и уживо у петак, 3. марта 2023, сали 301ф Математичког института САНУ са почетком у 12 часова.

Предавач: Лука Марковић, Математички факултет Универзитета у Београду

Наслов предавања: ГЕДЕЛОВЕ ТЕОРЕМЕ НЕПОТПУНОСТИ И ИНТЕРПРЕТАЦИЈЕ

Апстракт:
Године 1931, млади аустријски математичар Курт Гедел објављује своје две теореме непотпуности чиме доводи у сумњу тада актуелни покушај формалног заснивања целе математике, познатијег као "Хилбертов програм". Грубо говорећи, ове теореме стављају велика ограничења на нашу изградњу потпуних и непротивречних формалних система. Овако изненађујућ резултат често је подложан погрешним тумачењима, како математичким тако и филозофским. У овом предавању излажемо кратку историјску позадину Геделовог достигнућа које се сматра једним од најзначајнијих резултата математичке логике и у главним цртама износимо доказ Геделових теорема заједно са њиховим различитим интерпретацијама.

Линк за приступ предавању:
https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj

Линк за регистрацију:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73