Η φοιτήτρια του προγράμματος Νικολέτα Σεβαστού θα παρουσιάσει τη διπλωματική της εργασία με θέμα:
Two proofs of Peano Arithmetic’s Consistency
την Τετάρτη 19/03/2025 και ώρα 19:00, μέσω τηλεμετάδοσης (meeting link: https://meet.google.com/byv-eeyo-hzc).
Σύνοψη Διπλωματικής:
Η διπλωματική αυτή έχει να κάνει με τις δύο πιο γνωστές αποδείξεις της συνέπειας της αριθμητικής Peano. Η πρώτη είναι η απόδειξη του Gentzen και η άλλη του Gödel. Στο τέλος παρουσιάζουμε και κάποιες ενστάσεις που έχουν εμφανιστεί από όταν πρωτοδημοσιεύτηκαν.
Η Επιτροπή,
Κωνσταντίνος Κούτρας (Συνεπιβλέπων),
College of Engineering and Technology, American University of the Middle East, Kuwait.
Νικόλαος Ρήγας (Συνεπιβλέπων),
Department of Information Technology, School of Liberal Arts & Sciences, The American College of Greece
Παναγιώτης Ροντογιάννης,
Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ