1. Home page
  2. Search

Two proofs of Peano Arithmetic’s Consistency

This item is provided by the institution :
/aggregator-openarchives/portal/institutions/uoa   

Repository :
Pergamos Digital Library   

see the original item page
in the repository's web site and access all digital files if the item*



Two proofs of Peano Arithmetic’s Consistency
Σεβαστού Νικολέτα (EL)
Sevastou Nikoleta (EN)
born_digital_postgraduate_thesis
Διπλωματική Εργασία (EL)
Postgraduate Thesis (EN)
2025
Η διπλωματική αυτή έχει να κάνει με τις δύο πιο γνωστές αποδείξεις της συνέπειας της αριθμητικής 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)
Θετικές Επιστήμες
Θετικές Επιστήμες (EL)
Science (EN)
English
Βιβλιοθήκη και Κέντρο Πληροφόρησης » Βιβλιοθήκη Σχολής Θετικών Επιστημών » Πληροφορική
Σχολή Θετικών Επιστημών » Τμήμα Πληροφορικής & Τηλεπικοινωνιών » Διιδρυματικό ΠΜΣ Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά (Α.Λ.ΜΑ.) » Κατεύθυνση Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά (Α.Λ.ΜΑ.)
https://creativecommons.org/licenses/by-nc/4.0/
University of Athens
Pergamos Digital Library
Postgraduate Thesis



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)