Docent Računarskog fakulteta, Mladen Zekić, održao je dva zapažena predavanja koja su objedinila istorijske teme iz matematike sa savremenim pitanjima iz oblasti logike i veštačke inteligencije.
Prvo predavanje održano je 14. marta u Palata nauke, povodom Međunarodnog dana matematike, pod nazivom „Nemoguća misija: kvadratura kruga“.
Tom prilikom predstavljen je jedan od najpoznatijih problema antičke matematike – konstrukcija kvadrata čija je površina jednaka površini datog kruga, koristeći isključivo lenjir i šestar. Ovaj problem, koji potiče iz vremena stare Grčke, vekovima je zaokupljao pažnju matematičara i ostao nerešen više od dve hiljade godina. Tek u 19. veku, razvojem algebre i matematičke analize, dokazano je da je kvadratura kruga – nemoguća.
O ovom predavljnju objavljeno je i na stranici Palate nauke.
Drugo predavanje održano je 15. marta u Istraživačkoj stanici Petnica, u okviru Seminara matematike, pod nazivom „Gedelove teoreme o nepotpunosti“.
Reč je o značajnim rezultatima iz oblasti matematičke logike iz 1931. godine, koji i danas imaju snažan odjek, naročito u kontekstu razvoja veštačke inteligencije. U širem tumačenju, prva Gedelova teorema ukazuje na to da matematičko saznanje prevazilazi mogućnosti formalnih sistema, odnosno mašina. Upravo zbog toga pojedini autori, poput Rodžer Penrouz, u ovim teoremama vide argument protiv mogućnosti postojanja opšte veštačke inteligencije.
Ova dva predavanja još jednom su potvrdila da matematika nije samo temelj nauke, već i ključni instrument za razumevanje savremenih tehnoloških izazova i budućeg razvoja.