Obavijest: Na zahtjev voditelja Seminara za matematičku logiku i osnove matematike i Seminara za teorijsko računarstvo, odlukom Vijeća doktorskog studija, s početkom ak. god. 2024./2025. dva navedena seminara se spajaju te se novi seminar zove Seminar za matematičku logiku i računarstvo.

Najava seminara

ponedjeljak, 2. lipnja 2025. s početkom u 17:15h u predavaonici 201 (PMF-MO)

SAŽETAK: Kurt Gödel godinama je radio na svom ontološkom dokazu. Prvi put ga je pokazao Dani Scott početkom 1970. Bojeći se da mu se bliži kraj, želio je biti siguran da dokazi neće nestati s njim. U kolovozu 1970., kada se osjećao znatno bolje, rekao je Oscaru Morgensternu da je oklijevao objaviti dokaz, iako je bio zadovoljan njime, iz straha da će ljudi pomisliti da vjeruje u Boga. Jer on samo logički istražuje je li takav dokaz moguć uz odgovarajuću aksiomatizaciju.
Predstaviti ćemo Gödelovu aksiomatizaciju i sam dokaz te kritički razmotriti njegove aksiome. Također ćemo predstaviti dvije aksiomatizacije koje bogove približavaju bogovima koje štuju stvarne religije.

Foto (s nekih održanih seminara)