Seminar for History and Philosophy of Mathematics and Mechanics
PROGRAM
MATEMATIČKI INSTITUT SANU
Seminar za istoriju i filosofiju matematike
Predavanja možete pratiti i online putem MITEAM stranice Seminara za istoriju i filosofiju matematike:
https://miteam.mi.sanu.ac.rs/asset/LpvHEHpXDR2HnTpz8
PLAN RADA ZA MAJ 2025.
Ponedeljak, 19.05.2025. u 16:15, Kneza Mihaila 36, sala 301f i
Online
Zvonimir Šikić, Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci
ŠTO JE I KAKO RADI ChatGpt?
Objasniti ćemo kako se generativni pred-trenirani transformatori koriste za stvaranje smislenih pisanih sadržaja. U tu svrhu opisati ćemo i principe rada neuronskih mreža. Na kraju želimo pokazati da nam ChatGpt ukazuje na to da su neke ideje (koje su na prvi pogled nezamislive) ipak zamislive, a možda i realne.
Utorak, 20.05.2025. u 16:15, Kneza Mihaila 36, sala 301f i
Online
Zvonimir Šikić, Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci
GÖDELOV ONTOLOŠKI DOKAZ
Kurt Gödel je godinama radio na svom ontološkom dokazu. Prvi put ga je pokazao Dani Scottu početkom 1970. U strahu da mu se bliži kraj želio se osigurati da dokaz neće nestati zajedno s njim. U kolovozu 1970. kada se osjećao bitno bolje, rekao je Oscaru Morgensternu da je oklijevao objaviti dokaz, iako je s njim bio zadovoljan, iz straha da ljudi ne bi pomislili da vjeruje u Boga. Jer on samo logički istražuje je li takav dokaz moguć uz odgovarajuću aksiomatizaciju. Prikazat ćemo tu aksiomatizaciju i sam dokaz te se kritički osvrnuti na Gödelove aksiome.
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.
Rukovodilac Seminara
Prof. dr Milan Božić
