Την Τετάρτη 22/12/2021 θα διεξαχθεί ημερίδα Θεμελίων των Μαθηματικών. Στο επίκεντρο του ενδιαφέροντος βρίσκονται κάποιες σύγχρονες εξελίξεις σε προγράμματα θεμελίωσης, εναλλακτικών προς την επικρατούσα θεώρηση των θεμελίων των μαθηματικών μέσω της Θεωρίας Συνόλων. Ειδικότερα παρουσιάζονται οι προσεγγίσεις του Προγράμματος των New Foundations του W. Quine (Π. Ρουβέλας), της Θεωρίας Τόπων (Π. Καραζέρης) και των Univalent Foundations του V. Voevodsky (Ν. Ρήγας). Οι ομιλίες θα είναι εισαγωγικές, με σκοπό να αγγίξουν την έκθεση κάποιων πρόσφατων αποτελεσμάτων. Οι ενδιαφερόμενοι/ες καλούνται να συναντηθούν λίγο πριν από την έναρξη της ημερίδας στην αίθουσα 158 του κτηρίου Βιολογίας-Μαθηματικών.

Πρόγραμμα:

16:00 Παναγιώτης Ρουβέλας, Μεταδιδακτορικός Συνεργάτης Τμήματος Μαθηματικών, Πανεπιστήμιο Πατρών,
Πεπελεγμένη Θεωρία Τύπων.

17:30 Παναγής Καραζέρης, Αναπληρωτής Καθηγητής, Πανεπιστήμιο Πατρών,
Συμπαγείς Χώροι Hausdorff από τη σκοπιά της Ιντουισιονιστικής Λογικής.

19:00 Νίκος Ρήγας, Μεταδιδακτορικός Συνεργάτης, Μεταπτυχιακό Πρόγραμμα Αλγορίθμων, Λογικής και Διακριτών Μαθηματικών,
Univalent Foundations.