Seminar for History and Philosophy of Mathematics and Mechanics

PROGRAM

Registracija za učešće na seminaru je dostupna na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/MHaQQR4N6GC9gf29M
Predavanje možete pratiti na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/XjqxTydnJzqQNAAMf
Neulogovani korisnici mogu pratiti prenos predavanja ali ne mogu postavljati pitanja i ne ulaze u evidenciju prisustva.

UTORAK, 12.04.2022. u 16:15 sati, Kneza Mihaila 36, sala 301f i On-line
Zvonimir Šikić, Sveučilište u Zagrebu, Hrvatska
DIJAGONALNI ARGUMENT U TEORIJI SKUPOVA, IZRAČUNLЈIVOSTI I LOGICI
Objasnit ćemo ulogu i povijest dijagonalnog argumenta u teoriji skupova, izračunlјivosti i logici. Pokazati ćemo kako su primjene dijagonalnog argumenta u dokazima neograničenog rasta kardinala, neizračunlјivosti svega što nije trivijalno izračunlјivo i nepotpunosti formalnih sustava danas lako razumlјive, zahvalјujući široko rasprostranjenom intuitivnom razumijevanju računalnih pojmova.

Seminar se održava u sali 301F u Institutu, na III spratu, lift levo gledano sa ulaza, u zgradi preko puta zgrade SANU (nekadašnja SDK), Knez Mihailova 36.