Λέσχη Μαθηματικών

Εαρινό εξάμηνο 2024-25, Τμ. Μαθηματικών ΕΚΠΑ

29 05 Αίθουσα Α11 Ώρα 11:15	Αναπαραστάσεις στη φυσική των σωματιδίων Τάσος Φράγκος Περίληψη: Κατά τη θεώρηση του Heisenberg, τα πρωτόνια και τα νετρόνια είναι εκφάνσεις (ισοσπίν) των ίδιων σωματιδίων, των νουκλεονίων, μεταξύ των οποίων εμφανίζονται ισχυρές πυρηνικές δυνάμεις. Η αρχική υπόθεση, ότι οι συμμετρίες της δύναμης κωδικοποιούνται από την SU(2), αποδείχθηκε ελλειπής για την περιγραφή της πυρηνικής θεωρίας. Σε μία λίγο πιο σύχρονη προσέγγιση, πέρα από το ισοσπίν υπάρχει και η παραξενιά (ή το υπερφορτίο), που οδηγεί στα τρία quarks u, d, s. Μαζί με τα αντίστοιχα αντισωματίδια u^-, d^-, s^-, ζεύγη quark και antiquark δίνουν τα μεσόνια, τα οποία μέχρι τη δεκαετία του 60' θεωρούνταν ότι ήταν τα π⁺, π^-, π⁰, K⁺, K^-, K⁰, K^-0. Το 1961, οι Gell-Mann και Ne'eman μελέτησαν ζεύγη σωματιδίων quark-antiquark, χρησιμοποιώντας ένα μοντέλο βασισμένο στην SU(3), και κατέληξαν ότι -σε θεωρητικό επίπεδο- θα έπρεπε να υπήρχαν άλλα δύο, τα λεγόμενα η και η'. Δείτε περισσότερα...

29
05

Αίθουσα Α11

Ώρα 11:15

Αναπαραστάσεις στη φυσική των σωματιδίων

Τάσος Φράγκος

Περίληψη: Κατά τη θεώρηση του Heisenberg, τα πρωτόνια και τα νετρόνια είναι εκφάνσεις (ισοσπίν) των ίδιων σωματιδίων, των νουκλεονίων, μεταξύ των οποίων εμφανίζονται ισχυρές πυρηνικές δυνάμεις. Η αρχική υπόθεση, ότι οι συμμετρίες της δύναμης κωδικοποιούνται από την SU(2), αποδείχθηκε ελλειπής για την περιγραφή της πυρηνικής θεωρίας. Σε μία λίγο πιο σύχρονη προσέγγιση, πέρα από το ισοσπίν υπάρχει και η παραξενιά (ή το υπερφορτίο), που οδηγεί στα τρία quarks u, d, s. Μαζί με τα αντίστοιχα αντισωματίδια u^-, d^-, s^-, ζεύγη quark και antiquark δίνουν τα μεσόνια, τα οποία μέχρι τη δεκαετία του 60' θεωρούνταν ότι ήταν τα π⁺, π^-, π⁰, K⁺, K^-, K⁰, K^-0. Το 1961, οι Gell-Mann και Ne'eman μελέτησαν ζεύγη σωματιδίων quark-antiquark, χρησιμοποιώντας ένα μοντέλο βασισμένο στην SU(3), και κατέληξαν ότι -σε θεωρητικό επίπεδο- θα έπρεπε να υπήρχαν άλλα δύο, τα λεγόμενα η και η'.

27 05 Αίθουσα Α31 Ώρα 13:15	On the structure of Boolean functions Μανώλης Σταυρακάκης Περίληψη: Σκοπός αυτής της παρουσίασης είναι να γίνει μία εισαγωγή στην περιοχή της ανάλυσης των Boolean συναρτήσεων, να δοθούν κίνητρα και να παρουσιαστούν τα κύρια αποτελέσματα στην περιοχή αυτή. Στο πρώτο μέρος θα μιλήσουμε για τις βασικές έννοιες και τις ανισότητες υπερσυστολής, ενώ στο δεύτερο θα παρουσιάσουμε το θεώρημα Kahn-Kalai-Linial και το θεώρημα της "χούντας" του Friedqut. Θα γίνει μικρή αναφορά στη πρόσφατη δουλειά του Hamed Hatami. Δείτε περισσότερα...

27
05

Αίθουσα Α31

Ώρα 13:15

On the structure of Boolean functions

Μανώλης Σταυρακάκης

Περίληψη: Σκοπός αυτής της παρουσίασης είναι να γίνει μία εισαγωγή στην περιοχή της ανάλυσης των Boolean συναρτήσεων, να δοθούν κίνητρα και να παρουσιαστούν τα κύρια αποτελέσματα στην περιοχή αυτή. Στο πρώτο μέρος θα μιλήσουμε για τις βασικές έννοιες και τις ανισότητες υπερσυστολής, ενώ στο δεύτερο θα παρουσιάσουμε το θεώρημα Kahn-Kalai-Linial και το θεώρημα της "χούντας" του Friedqut. Θα γίνει μικρή αναφορά στη πρόσφατη δουλειά του Hamed Hatami.

22 05 Αίθουσα Α31 Ώρα 14:15	Συζήτηση του άρθρου του Dirk van Dalen: "The return of the flowing continuum" Χρίστος Σιδεράς Περίληψη: After the arithmetization of the continuum in the 19th century, L.E.J. Brouwer, in his 1907 PhD thesis, brought back the intuitive continuum on the basis of his intuitionistic philosophy. The so-called ur-intuition (or intuition of time) yielded at the same time the natural numbers, and their derivatives, and the continuum. We show that intuitionistic mathematics, being a constructive mental activity of the subject, had to break with the traditional laws of logic, in particular with the principle of the excluded middle. Δείτε περισσότερα...

22
05

Αίθουσα Α31

Ώρα 14:15

Συζήτηση του άρθρου του Dirk van Dalen:
"The return of the flowing continuum"

Χρίστος Σιδεράς

Περίληψη: After the arithmetization of the continuum in the 19th century, L.E.J. Brouwer, in his 1907 PhD thesis, brought back the intuitive continuum on the basis of his intuitionistic philosophy. The so-called ur-intuition (or intuition of time) yielded at the same time the natural numbers, and their derivatives, and the continuum. We show that intuitionistic mathematics, being a constructive mental activity of the subject, had to break with the traditional laws of logic, in particular with the principle of the excluded middle.

20 05 Αίθουσα Α31 Ώρα 13:15	The Riemann mapping theorem and a probabilistic solution to the Dirichlet problem (Μέρος ΙΙ) Ορέστης Πλευράκης Περίληψη: The Riemann mapping theorem is one of the most central results of complex analysis. However, the standard proof lacks intuition. We will see an intuitive proof using ideas from topology and probability theory. Along the way we will solve the Dirichlet problem for Laplace equation using random walks. Δείτε περισσότερα...

20
05

Αίθουσα Α31

Ώρα 13:15

The Riemann mapping theorem and a probabilistic solution to the Dirichlet problem (Μέρος ΙΙ)

Ορέστης Πλευράκης

Περίληψη: The Riemann mapping theorem is one of the most central results of complex analysis. However, the standard proof lacks intuition. We will see an intuitive proof using ideas from topology and probability theory. Along the way we will solve the Dirichlet problem for Laplace equation using random walks.

15 05 Αίθουσα Α11 Ώρα 11:15	Hamiltonian Formulation of General Relativity (Μέρος ΙΙ) Στέλιος Σβούρος Περίληψη: Στη φυσική ο Χαμιλτονιανός φορμαλισμός είναι μία ισοδύναμη θεώρηση με αυτή του Λαγκραντζιανού, η οποία όμως καθιστά σαφέστερη (υπό κάποιες προϋποθέσεις) την ενέργεια του υπό μελέτη συστήματος. Σε πολλές θεωρίες της φυσικής η μετάβαση απο τη Λαγκραντζιανή στη Χαμιλτονιανή συνάρτηση (και αντίστροφα) είναι μία απλή υπόθεση που πραγματοποιήται με εφαρμογή του μετασχηματισμού Legendre. Στην θεωρία της γενικής σχετικότητας, όμως, τα πράγματα δεν ειναι τόσο εύκολα και αυτό εν μέρει έχει να κανει με κάποια χαρακτηριστικά που πρέπει να έχει η κανονική (ή Χαμιλτονιανή) μορφή, τα οποία στην θεωρία της βαρύτητας δεν είναι καθόλου δεδομένα. Δείτε περισσότερα...

15
05

Αίθουσα Α11

Ώρα 11:15

Hamiltonian Formulation of General Relativity (Μέρος ΙΙ)

Στέλιος Σβούρος

Περίληψη: Στη φυσική ο Χαμιλτονιανός φορμαλισμός είναι μία ισοδύναμη θεώρηση με αυτή του Λαγκραντζιανού, η οποία όμως καθιστά σαφέστερη (υπό κάποιες προϋποθέσεις) την ενέργεια του υπό μελέτη συστήματος. Σε πολλές θεωρίες της φυσικής η μετάβαση απο τη Λαγκραντζιανή στη Χαμιλτονιανή συνάρτηση (και αντίστροφα) είναι μία απλή υπόθεση που πραγματοποιήται με εφαρμογή του μετασχηματισμού Legendre. Στην θεωρία της γενικής σχετικότητας, όμως, τα πράγματα δεν ειναι τόσο εύκολα και αυτό εν μέρει έχει να κανει με κάποια χαρακτηριστικά που πρέπει να έχει η κανονική (ή Χαμιλτονιανή) μορφή, τα οποία στην θεωρία της βαρύτητας δεν είναι καθόλου δεδομένα.

13 05 Αίθουσα Α31 Ώρα 13:15	The Riemann mapping theorem and a probabilistic solution to the Dirichlet problem (Μέρος Ι) Ορέστης Πλευράκης Περίληψη: The Riemann mapping theorem is one of the most central results of complex analysis. However, the standard proof lacks intuition. We will see an intuitive proof using ideas from topology and probability theory. Along the way we will solve the Dirichlet problem for Laplace equation using random walks. Δείτε περισσότερα...

13
05

Αίθουσα Α31

Ώρα 13:15

The Riemann mapping theorem and a probabilistic solution to the Dirichlet problem (Μέρος Ι)

Ορέστης Πλευράκης

Περίληψη: The Riemann mapping theorem is one of the most central results of complex analysis. However, the standard proof lacks intuition. We will see an intuitive proof using ideas from topology and probability theory. Along the way we will solve the Dirichlet problem for Laplace equation using random walks.

08 05 Αίθουσα Α11 Ώρα 11:15	Hamiltonian Formulation of General Relativity (Μέρος Ι) Στέλιος Σβούρος Περίληψη: Στη φυσική ο Χαμιλτονιανός φορμαλισμός είναι μία ισοδύναμη θεώρηση με αυτή του Λαγκραντζιανού, η οποία όμως καθιστά σαφέστερη (υπό κάποιες προϋποθέσεις) την ενέργεια του υπό μελέτη συστήματος. Σε πολλές θεωρίες της φυσικής η μετάβαση απο τη Λαγκραντζιανή στη Χαμιλτονιανή συνάρτηση (και αντίστροφα) είναι μία απλή υπόθεση που πραγματοποιήται με εφαρμογή του μετασχηματισμού Legendre. Στην θεωρία της γενικής σχετικότητας, όμως, τα πράγματα δεν ειναι τόσο εύκολα και αυτό εν μέρει έχει να κανει με κάποια χαρακτηριστικά που πρέπει να έχει η κανονική (ή Χαμιλτονιανή) μορφή, τα οποία στην θεωρία της βαρύτητας δεν είναι καθόλου δεδομένα. Δείτε περισσότερα...

08
05

Αίθουσα Α11

Ώρα 11:15

Hamiltonian Formulation of General Relativity (Μέρος Ι)

Στέλιος Σβούρος

Περίληψη: Στη φυσική ο Χαμιλτονιανός φορμαλισμός είναι μία ισοδύναμη θεώρηση με αυτή του Λαγκραντζιανού, η οποία όμως καθιστά σαφέστερη (υπό κάποιες προϋποθέσεις) την ενέργεια του υπό μελέτη συστήματος. Σε πολλές θεωρίες της φυσικής η μετάβαση απο τη Λαγκραντζιανή στη Χαμιλτονιανή συνάρτηση (και αντίστροφα) είναι μία απλή υπόθεση που πραγματοποιήται με εφαρμογή του μετασχηματισμού Legendre. Στην θεωρία της γενικής σχετικότητας, όμως, τα πράγματα δεν ειναι τόσο εύκολα και αυτό εν μέρει έχει να κανει με κάποια χαρακτηριστικά που πρέπει να έχει η κανονική (ή Χαμιλτονιανή) μορφή, τα οποία στην θεωρία της βαρύτητας δεν είναι καθόλου δεδομένα.

06 05 Zoom Ώρα 16:00	Υπερβολικές πολλαπλότητες και (υπερβολικά κουλ) sphere filling curves (Μέρος ΙΙ) Ινώ Λουκίδου Link (Zoom): Zoom Link Περίληψη: Αφού ορίσουμε τον υπερβολικό χώρο σε 2 και 3 διαστάσεις και μιλήσουμε για τη γεωμετρία του, θα δώσουμε τον ορισμό μιας πολλαπλότητας μοντελοποιημένης σε μια γεωμετρία (π.χ. ευκλείδεια, σφαιρική, υπερβολική αλλά και μερικές ακόμα) και συγκεκριμένα τον ορισμό της υπερβολικής πολλαπλότητας. Στη 2η ομιλία, θα δούμε πώς κάποιες από αυτές της πολλαπλότητες δίνουν με φυσικό τρόπο καμπύλες που γεμίζουν τη σφαίρα. Δείτε περισσότερα...

06
05

Zoom

Ώρα 16:00

Υπερβολικές πολλαπλότητες και (υπερβολικά κουλ) sphere filling curves (Μέρος ΙΙ)

Ινώ Λουκίδου

Link (Zoom): Zoom Link

Περίληψη: Αφού ορίσουμε τον υπερβολικό χώρο σε 2 και 3 διαστάσεις και μιλήσουμε για τη γεωμετρία του, θα δώσουμε τον ορισμό μιας πολλαπλότητας μοντελοποιημένης σε μια γεωμετρία (π.χ. ευκλείδεια, σφαιρική, υπερβολική αλλά και μερικές ακόμα) και συγκεκριμένα τον ορισμό της υπερβολικής πολλαπλότητας. Στη 2η ομιλία, θα δούμε πώς κάποιες από αυτές της πολλαπλότητες δίνουν με φυσικό τρόπο καμπύλες που γεμίζουν τη σφαίρα.

01 05 Zoom Ώρα 16:00	Υπερβολικές πολλαπλότητες και (υπερβολικά κουλ) sphere filling curves (Μέρος Ι) Ινώ Λουκίδου Link (Zoom): Zoom Link Περίληψη: Αφού ορίσουμε τον υπερβολικό χώρο σε 2 και 3 διαστάσεις και μιλήσουμε για τη γεωμετρία του, θα δώσουμε τον ορισμό μιας πολλαπλότητας μοντελοποιημένης σε μια γεωμετρία (π.χ. ευκλείδεια, σφαιρική, υπερβολική αλλά και μερικές ακόμα) και συγκεκριμένα τον ορισμό της υπερβολικής πολλαπλότητας. Στη 2η ομιλία, θα δούμε πώς κάποιες από αυτές της πολλαπλότητες δίνουν με φυσικό τρόπο καμπύλες που γεμίζουν τη σφαίρα. Δείτε περισσότερα...

01
05

Zoom

Ώρα 16:00

Υπερβολικές πολλαπλότητες και (υπερβολικά κουλ) sphere filling curves (Μέρος Ι)

Ινώ Λουκίδου

Link (Zoom): Zoom Link

Περίληψη: Αφού ορίσουμε τον υπερβολικό χώρο σε 2 και 3 διαστάσεις και μιλήσουμε για τη γεωμετρία του, θα δώσουμε τον ορισμό μιας πολλαπλότητας μοντελοποιημένης σε μια γεωμετρία (π.χ. ευκλείδεια, σφαιρική, υπερβολική αλλά και μερικές ακόμα) και συγκεκριμένα τον ορισμό της υπερβολικής πολλαπλότητας. Στη 2η ομιλία, θα δούμε πώς κάποιες από αυτές της πολλαπλότητες δίνουν με φυσικό τρόπο καμπύλες που γεμίζουν τη σφαίρα.

10 04 Αίθουσα Α31 Ώρα 14:15	A Bayesian approach to the analysis of infectious disease data using continuous-time stochastic models. Πέτρος Μπαρμπουνάκης Περίληψη: The aim of this work is the development of stochastic epidemic models focused on disease outbreaks in humans, as well as livestock. Statistical methodology is developed aimed at informing public health policies and their communication as implemented by the governing organizations, specifically at a time of crisis like the Covid-19 pandemic. Δείτε περισσότερα...

10
04

Αίθουσα Α31

Ώρα 14:15

A Bayesian approach to the analysis of infectious disease data using continuous-time stochastic models.

Πέτρος Μπαρμπουνάκης

Περίληψη: The aim of this work is the development of stochastic epidemic models focused on disease outbreaks in humans, as well as livestock. Statistical methodology is developed aimed at informing public health policies and their communication as implemented by the governing organizations, specifically at a time of crisis like the Covid-19 pandemic.

08 04 Google Meet & Αίθουσα Α31 Ώρα 13:00	Game Theory & Incentives in Blockchain: Fairness, Friction, and Participation. Γιώργος Τσούμας Link (Google Meet): Google Meet Link Περίληψη: Blockchain technologies promise decentralized fairness, yet real-world dynamics often reveal strategic behavior that challenges this ideal. This talk explores how economic incentives and game theory shape blockchain ecosystems, from high-speed arbitrage in decentralized exchanges to the design of fair stake pool structures and models for user participation. We dissect the complex interplay between rational agents, network protocols, and incentive design in three key blockchain domains. Δείτε περισσότερα...

08
04

Google Meet
&
Αίθουσα Α31

Ώρα 13:00

Game Theory & Incentives in Blockchain: Fairness, Friction, and Participation.

Γιώργος Τσούμας

Link (Google Meet): Google Meet Link

Περίληψη: Blockchain technologies promise decentralized fairness, yet real-world dynamics often reveal strategic behavior that challenges this ideal. This talk explores how economic incentives and game theory shape blockchain ecosystems, from high-speed arbitrage in decentralized exchanges to the design of fair stake pool structures and models for user participation. We dissect the complex interplay between rational agents, network protocols, and incentive design in three key blockchain domains.

03 04 Αίθουσα Α31 Ώρα 14:15	Εισαγωγή στις Εικασίες Kakeya Γιώργος Τσιάπας Περίληψη: Ένα κλασικό πρόβλημα στη γεωμετρική θεωρία μέτρου είναι η Εικασία Kakeya, σύμφωνα με την οποία κάθε υποσύνολο του ℝⁿ που περιέχει ευθύγραμμο τμήμα μήκους ένα σε όλες τις διευθύνσεις θα πρέπει να έχει διάσταση Hausdorff n. Σε αυτή την ομιλία δίνουμε τη βασική ορολογία και παρουσιάζουμε γνωστά αποτελέσματα γύρω από το πρόβλημα. Δείτε περισσότερα...

03
04

Αίθουσα Α31

Ώρα 14:15

Εισαγωγή στις Εικασίες Kakeya

Γιώργος Τσιάπας

Περίληψη: Ένα κλασικό πρόβλημα στη γεωμετρική θεωρία μέτρου είναι η Εικασία Kakeya, σύμφωνα με την οποία κάθε υποσύνολο του ℝⁿ που περιέχει ευθύγραμμο τμήμα μήκους ένα σε όλες τις διευθύνσεις θα πρέπει να έχει διάσταση Hausdorff n. Σε αυτή την ομιλία δίνουμε τη βασική ορολογία και παρουσιάζουμε γνωστά αποτελέσματα γύρω από το πρόβλημα.

01 04 Αίθουσα Α31 Ώρα 13:00	An Introduction to Martin-Löf Type Theory: A Constructive Approach to Mathematics and Computation (Μέρος ΙΙ) Ανδρέας Αβουκάτος Περίληψη: 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. Δείτε περισσότερα...

01
04

Αίθουσα Α31

Ώρα 13:00

An Introduction to Martin-Löf Type Theory:
A Constructive Approach to Mathematics and Computation (Μέρος ΙΙ)

Ανδρέας Αβουκάτος

Περίληψη: 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.

27 03 Αίθουσα Α31 Ώρα 14:15	Το Θεώρημα του Mordell (Μέρος ΙΙI) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. Δείτε περισσότερα...

27
03

Αίθουσα Α31

Ώρα 14:15

Το Θεώρημα του Mordell (Μέρος ΙΙI)

Κωνσταντίνος Γρίβας

Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη.

18 03 Αίθουσα Α31 Ώρα 13:15	Εισαγωγή στην Ανάλυση Επιβίωσης Χρυσούλα Τσισμετζόγλου Περίληψη: Η Ανάλυση Επιβίωσης είναι ένας κλάδος της στατιστικής που επικεντρώνεται στη μελέτη του χρόνου μέχρι την εμφάνιση ενός γεγονότος ενδιαφέροντος, όπως η αποτυχία ενός συστήματος,ο θάνατος, η εμφάνιση μιας ασθένειας,η ανάρρωση από μια ασθένεια ή γενικά αποτυχία ενός συστήματος. Σε αυτήν την παρουσίαση, θα εξετάσουμε σύντομα τις βασικές έννοιες, τα κύρια μοντέλα και τις βασικές μεθόδους που χρησιμοποιούνται στην Ανάλυση Επιβίωσης. Δείτε περισσότερα...

18
03

Αίθουσα Α31

Ώρα 13:15

Εισαγωγή στην Ανάλυση Επιβίωσης

Χρυσούλα Τσισμετζόγλου

Περίληψη: Η Ανάλυση Επιβίωσης είναι ένας κλάδος της στατιστικής που επικεντρώνεται στη μελέτη του χρόνου μέχρι την εμφάνιση ενός γεγονότος ενδιαφέροντος, όπως η αποτυχία ενός συστήματος,ο θάνατος, η εμφάνιση μιας ασθένειας,η ανάρρωση από μια ασθένεια ή γενικά αποτυχία ενός συστήματος. Σε αυτήν την παρουσίαση, θα εξετάσουμε σύντομα τις βασικές έννοιες, τα κύρια μοντέλα και τις βασικές μεθόδους που χρησιμοποιούνται στην Ανάλυση Επιβίωσης.

11 03 Αίθουσα Α31 Ώρα 13:00	An Introduction to Martin-Löf Type Theory: A Constructive Approach to Mathematics and Computation (Μέρος Ι) Ανδρέας Αβουκάτος Περίληψη: 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. Δείτε περισσότερα...

11
03

Αίθουσα Α31

Ώρα 13:00

An Introduction to Martin-Löf Type Theory:
A Constructive Approach to Mathematics and Computation (Μέρος Ι)

Ανδρέας Αβουκάτος

Περίληψη: 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 03 Αίθουσα Α31 Ώρα 13:15	Το Θεώρημα του Mordell (Μέρος ΙΙ) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. Δείτε περισσότερα...

04
03

Αίθουσα Α31

Ώρα 13:15

Το Θεώρημα του Mordell (Μέρος ΙΙ)

Κωνσταντίνος Γρίβας

Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη.

27 02 Αίθουσα Α31 Ώρα 14:00	Αναβάλλεται! [Χ] Η παρουσίαση αναβάλλεται λόγω της κατάληψης του τμήματος για το έγκλημα των Τεμπών.

27
02

Αίθουσα Α31

Ώρα 14:00

Αναβάλλεται!

[Χ]

Η παρουσίαση αναβάλλεται λόγω της κατάληψης του τμήματος για το έγκλημα των Τεμπών.

25 02 Αίθουσα Α31 Ώρα 13:15	Το Θεώρημα του Mordell (Μέρος Ι) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. Δείτε περισσότερα...

25
02

Αίθουσα Α31

Ώρα 13:15

Το Θεώρημα του Mordell (Μέρος Ι)

Κωνσταντίνος Γρίβας

Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη.

20 02 Αίθουσα Α31 Ώρα 14:00	Αναβάλλεται! [Χ] Η παρουσίαση αναβάλλεται λόγω της στάσης εργασίας των μελών ΔΕΠ για την επίθεση κουκουλοφόρων στον πρόεδρο του τμήματος.

20
02

Αίθουσα Α31

Ώρα 14:00

Αναβάλλεται!

[Χ]

Η παρουσίαση αναβάλλεται λόγω της στάσης εργασίας των μελών ΔΕΠ για την επίθεση κουκουλοφόρων στον πρόεδρο του τμήματος.