δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
Η διπλωματική αυτή έχει να κάνει με τις δύο πιο γνωστές αποδείξεις της συνέπειας της
αριθμητικής Peano. Η πρώτη είναι η απόδειξη του Gentzen και η άλλη του Gödel. Στο
τέλος παρουσιάζουμε και κάποιες ενστάσεις που έχουν εμφανιστεί από όταν πρωτοδημοσιεύτηκαν.
(EL)
This thesis is about the two most renowned proofs for Peano Arithmetic’s consistency.
One proof is Gentzen’s and the other Gödel’s. We also present at the end some objections that have come up since their first publication.
(EN)
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
