Όνομα
Νικολέτα Σεβαστού
Ημερομηνία παρουσίασης
19-03-2025
Τριμελής επιτροπή
Κωνσταντίνος Δ. Κούτρας (Συνεπιβλέπων)
Νικόλαος Ρήγας (Συνεπιβλέπων)
Παναγιώτης Ροντογιάννης
Σύνοψη
Η διπλωματική αυτή έχει να κάνει με τις δύο πιο γνωστές αποδείξεις της συνέπειας της αριθμητικής Peano. Η πρώτη είναι η απόδειξη του Gentzen και η άλλη του Gödel. Στο τέλος παρουσιάζουμε και κάποιες ενστάσεις που έχουν εμφανιστεί από όταν πρωτο-δημοσιεύτηκαν.