Seminar for Mathematical Logic

PROGRAM

Plan rada Seminara za logiku za SEPTEMBAR 2021.

Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2011/2012.g. na ovoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.

24.09.2021. u 14:15, sala 301f, Knez Mihajlova 36 i Online
Jovana Kostić, Filozofski fakultet, Beograd
SAMOREFERENCIJA U LOGICI
Na ovom predavanju biće predstavljena jedna opšta teorema o fiksnoj tački koju je formulisao i dokazao Rejmond Smalijan (Raymond Smullyan). Neke poznate teoreme u logici koje se tiču fiksnih tačaka, kao što je Klinijeva druga teorema rekurzije i Lema o dijagonalizaciji, mogu se shvatiti kao posebni slučajevi ove opšte teoreme. Smalijanova teorema rasvetljava ulogu koju dijagonalizacija u vidu primene rekurzivne funkcije na sopstveni indeks ili instanciranja formule sopstvenim Gedelovim brojem ima u dolaženju do tih važnih rezultata. Ona tako ističe njihove zajedničke karakteristike koje, kako ćemo videti, ti rezultati dele i sa nekim poznatim paradoksima u kojima samoreferencija takođe igra značajnu ulogu. Bliska veza između važnih logičkih rezultata i paradoksa, koja na taj način dolazi do izražaja, može motivisati novi pristup paradoksima u kojem oni nisu shvaćeni kao problemi nastali zbog pogrešnog razumevanja određenih pojmova, nego kao rezultati koji otkrivaju njihova važna, mahom negativna, svojstva.
Zajednički sastanak sa Odeljenjem za matematiku MI SANU.

OBAVEŠTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd,
Srdacan pozdrav,

rukovodilac seminara Predrag Tanovic