Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za FEBRUAR 2019.

Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.

 

CETVRTAK, 07.02.2019. u 15:00, Sala 301f, MI SANU, Kneza Mihaila 36
Slobodan Vujošević, Prirodno-matematički fakultet, Podgorica
MATEMATIKA IZMEĐU LOGIKE PRVOG REDA I LOGIKE DRUGOG REDA
Ključne matematičke teorije, aritmetika, analiza i teorija skupova, kada se formulišu u logici drugog reda su kategorične. Odnose se na jedinstvene prirodne brojeve, jedinstvene realne brojeve i skoro jedinstven skupovni univerzum. Oko svake od tih struktura, u logici prvog reda formira se jedan oblak struktura u kome se sama intendirana struktura uopšte ne vidi. U predavanju će biti razmotreni matematički i filozofski razlozi zbog kojih se u sagledavanju matematike sredstvima logike prvog reda javljaju duhovi.

---

CETVRTAK, 14.02.2019. u 15:00, Sala 301f, MI SANU, Kneza Mihaila 36
Šejla Dautović i Mladen Zekić, MI SANU
NEDOKAZIVOST U INTUICIONISTIČKOJ LOGICI
Klini je 1952. godine osmislio formalni sistem G3 koji predstavlja varijantu sekventnog računa originalno uvedenog od strane Gerharda Gencena. Sistem G3 je zadat tako da minimizuje broj različitih premisa za dati zaključak, pa stoga u njemu postoji manje mogućnosti za dokaz određenog sekventa nego u klasičnom sekventnom računu. Zato je sistem G3 naročito pogodan da se pomoću njega pokaže nedokazivost nekog sekventa. Na predavanju će biti pokazano da određeni skupovi formula nisu dokazivi u intucionističkoj logici koristeći sistem G3 i neka svojstva sekvenata koja ostaju invarijantna tokom izvođenja u ovom sistemu.

---

CETVRTAK, 21.02.2019. u 15:00, Sala 301f, MI SANU, Kneza Mihaila 36
Vladimir Srdanović
VEŠTAČKA INTELIGENCIJA: APOKALIPSA SAD!
Veštačka inteligencija (VI) je danas u žiži interesovanja javnosti. U proteklih 63 godine, koliko ima od kada je ova disciplina dobila ime, nešto slično se događalo u više navrata. Međutim, utisak je da se danas uspeh VI prvi put čini neupitnim, a da su istovremeno vizije budućnosti koje oblikuje VI – apokaliptične. Šta se to u međuvremenu promenilo?

---

CETVRTAK, 28.02.2019. u 15:00, Sala 301f, MI SANU, Kneza Mihaila 36
Miodrag Rašković, Matematički institut SANU
LOGIKE NA DOPUSTIVIM SKUPOVIMA
Razmatraju se logike koje se nalaze između logika prvog i višeg reda i koje imaju "dobre osobine" iz obeju logika.

---

Beograd, 2019.

---