Seminar za geometriju i Seminar za matematičku logiku i računarstvo

Na zajedničkom sastanku Seminara za geometriju i Seminaru za matematičku logiku i računarstvo, u ponedjeljak 12. listopada 2026. u 17:15 sati, Taras Banakh (Ivan Franko National University of Lviv) održat će online predavanje: 

The Architecture of Classical Mathematics

Sažetak: In this talk, we shall discuss the foundations of mathematics based on the von Neumann–Bernays–Gödel (NBG) theory of sets and classes. We will provide a rigorous definition of a mathematical structure and classify these structures both by their complexity and by their capacity to treat canonical sets and classes (such as the sets of integers, rationals, reals, and complex numbers, or the proper classes of cardinals, ordinals, and surreal numbers). Furthermore, we shall distinguish atomic mathematical structures that complete Bourbaki’s three "mother structures" (order, magma, and topology), and conclude with a discussion of some interesting mathematical structures on proper classes.

Link za Zoom prijenos: https://zoom.us/j/99646266905?pwd=RGyuFtbDERwbyPhgiGiPycikUg5zRW.1

(Meeting ID: 996 4626 6905    Passcode: 726459)