Λέσχη Μαθηματικών
Εαρινό εξάμηνο 2024-25, Τμ. Μαθηματικών ΕΚΠΑ
Κάθε Τρίτη 13:15-14:00 ή Πέμπτη 14:15-15:00 (ή και τις δύο ημέρες) στην αίθουσα Α31. Ενδέχεται να υπάρχουν τροποποιήσεις στο πρόγραμμα! Παρακαλείστε να το ελέγχετε!
|
ΗΗ Αίθουσα Α31 Ώρα ΩΩ:ΛΛ |
Το Θεώρημα Gelfand-Naimark Άγγελος Γάτος
|
|---|
|
06 Αίθουσα Α31 Ώρα 14:00 |
An Introduction to Martin-Löf Type Theory: Ανδρέας Αβουκάτος Περίληψη: Martin-Löf Type Theory (MLTT) provides a constructive foundation for mathematics and computation, integrating logic and type theory in a unified framework. This talk introduces the core principles of MLTT, including dependent types, inductive types, and identity types. We explore how MLTT serves as a foundation for constructive mathematics and influences proof assistants such as Agda. Additionally, we discuss its role in formalising mathematics and its extension in Homotopy Type Theory (HoTT). The talk assumes basic familiarity with mathematical reasoning but does not require prior knowledge of type theory. |
|---|
|
04 Αίθουσα Α31 Ώρα 13:15 |
Το Θεώρημα του Mordell (Μέρος ΙΙ) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. |
|---|
|
27 Αίθουσα Α31 Ώρα 14:00 |
Αναβάλλεται! [Χ] Η παρουσίαση αναβάλλεται λόγω της κατάληψης του τμήματος για το έγκλημα των Τεμπών. |
|---|
|
25 Αίθουσα Α31 Ώρα 13:15 |
Το Θεώρημα του Mordell (Μέρος Ι) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. |
|---|
|
20 Αίθουσα Α31 Ώρα 14:00 |
Αναβάλλεται! [Χ] Η παρουσίαση αναβάλλεται λόγω της στάσης εργασίας των μελών ΔΕΠ για την επίθεση κουκουλοφόρων στον πρόεδρο του τμήματος. |
|---|