28. ožujka 2026. / Perspektive / čita se 30 minuta
ŠTO JE LOGIKA (9)
Logika predikata. Kompaktnost, Skolemov teorem i nestandardni modeli
U devetom nastavku serijala o logici, Zvonimir Šikić pokazuje kako aksiomi prvog reda ne mogu jednoznačno odrediti beskonačne matematičke strukture. Zbog tog ograničenja, poznati sustavi poput aritmetike, realnih brojeva i teorije skupova neizbježno imaju i svoje nestandardne modele.
Zvonimir Šikić
Domagoj Novokmet
Igor Gajin
Ivan Fischer
Ideje.hr
Davor Nikolić
Dr. Predrag Bejaković
Tamara Čačev
Žarko Puhovski
Sanja Terlević
Nataša Babić
Maja Profaca
Gordana Crnković
Zdenko Duka
Nikola Petrović
Velimir Grgić
Darko Oračić
Marina Pavković
Duje Kovačević
Nikolina Židek
Oleg Maštruko
Krešimir Petković
Vladimir Lokner
Božo Kovačević
Sebastian Kukavica
Enis Zebić