Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 2. lipnja 2025. u 17:15 sati, u predavaonici 201, PMF-MO, 

Zvonimir Šikić održat će predavanje 

 

Gödelov ontološki dokaz

 

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.

Predstavit ć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.