ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζωῶν τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Mathematical Colloquium


ODELJENJE ZA MATEMATIKU
MATEMATIČKOG INSTITUTA SANU

                      

Predavanja možete pratiti i online putem MITEAM stranice Odeljenja za matematiku:
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r

PROGRAM ZA MAJ 2025.




Petak, 9.05.2025. u 14:15, Kneza Mihaila 36, sala 301f i Online
Srđan Vukmirović, Matematički fakultet, Beograd
KLASIFIKACIJA HIPERBOLIČKIH KONIKA I KVADRIKA
Na predavanju će biti reči o klasifikaciji orbita prirodnog dejstva grupe SO(2,1), odnosno SO(3,1), na prostoru simetričnih bilinearnih formi u odgovarajućem vektorskom prostoru. U slučaju grupe SO(2,1) ovu klasifikaciju ćemo povezati sa klasičnim rezultatom - opisom konika u hiperboličkoj ravni. U slučaju grupe SO(3,1) klasifikacija je povezana sa kvadrikama u hiperboličkom prostoru čiji detaljan opis do sada nije poznat.

Petak, 16.05.2025. u 14:15, Kneza Mihaila 36, sala 301f i Online
Melanija Mitrović, Mašinski fakultet, Niš
CONSTRUCTIVE RELATIONAL BINARY STRUCTURES WITH APARTNESS: BASICS AND POTENTIAL APPLICATIONS
It is only recently, due to the work of Melanija Mitrović and co-authors, that constructive mathematics has paid attention to semigroup theory. The use of intuitionistic logic in constructive mathematics facilitates the extraction of computational content from constructive proofs, something almost impossible within classical mathematics. M. Mitrović and co-authors’s approach to constructivism closely follows the paradigm of E. Bishop, whose informal system BISH, is developed in his seminal book Foundations of Constructive Analysis published in 1967. Inspired by results obtained from the use of interactive theorem-provers and the general theory of formal verification of constructive proofs, a new constructive algebraic theory, the so-called theory of semigroups with apartness was developed by M. Mitrović and co-authors: M. A. Baroni, S. Crvenković, E. Darpo, M. N. Hounkonnou, D. A. Romano, S. Silvestrov. In this talk, we will first briefly present some of the results obtained within the theory of sets with apartness and an appropriate constructive order theory we develop for sets with apartness as well as their applications to the class of constructive semigroups with apartness. Then we will present some of the main results on its proper subclass of constructive inverse semigroups with apartness, an important example of co-ordered semigroups with apartness. Although this talk will be mostly based on material given in [1] and [2], it is, by no means, an attempt to give complete overview of our existing results to the date.
  1. M. Mitrović, M. N. Hounkonnou, P. Catarino, Constructive semigroups with apartness - a state of the art, In M. N. Hounkonnou, D. Martinović, M. Mitrović, P. Pattison (eds), Mathematics for Social Sciences and Arts – Algebraic Modeling (Semigroups, arts and social sciences: ubiquitous interactions), Mathematics In Mind, Springer, 2024, 127-176.
  2. M. Mitrović, M. N. Hounkonnou,D. A. Romano, A journey through constructive inverse semigroups with apartness, Accepted for printing In M. Mitrović, M. N. Hounkonnou (eds), Algebra without bourders - Classical and Constructive Semigroups and Applications, Mathematics In Mind, Springer, 2025, to appear.


Petak, 23.05.2025. u 14:15, Kneza Mihaila 36, sala 301f i Online
Jovana Nikolić, Matematički fakultet, Beograd
Naslov i rezime će biti naknadno objavljeni
TBA

Petak, 30.05.2025. u 14:15, Kneza Mihaila 36, sala 301f i Online
Ilijas Farah, York University, Toronto
Naslov i rezime će biti naknadno objavljeni
TBA Zajednički sastanak sa Logičkim seminarom.




Odeljenje za matematiku je opsti matematicki seminar namenjen sirokoj publici. Predavanja su prilagodjena matematicarima i onima koji zele da to postanu.


Zoran Petrić, Odeljenje za matematiku Matematickog instituta SANU