Τα Θεωρήματα μη πληρότητας του Gödel

 
Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Αποθετήριο «Κάλλιπος»
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



Τα Θεωρήματα μη πληρότητας του Gödel (EL)
Godel's Incompleteness Theorems (EN)

Κολέτσος, Γεώργιος (EL)
Koletsos, Georgios (EN)

Ξύστρα, Αικατερίνη (EL)
Τουλάτου, Δήμητρα (EL)
Δημητρακόπουλος, Κωνσταντίνος (EL)
Κάλλιπος (EL)
Toulatou, Dimitra (EN)
Kallipos (EN)
Ksystra, Aikaterini (EN)
Dimitrakopoulos, Konstantinos (EN)

Το σύστημα της αριθμητικής του Peano. Η αριθμητική του Robinson. Η έννοια της αναπαραστασιμότητας. Απόδειξη ότι όλες οι αναδρομικές συναρτήσεις αναπαρίστανται στην αριθμητική. Αριθμητικοποίηση των μεταμαθηματικών. Απόδειξη ότι όλες οι μεταμαθηματικές σχέσεις και συναρτήσεις εκφράζονται με αναδρομικές σχέσεις – συναρτήσεις. Συνέπεια και ω-συνέπεια. Η απόδειξη του Gödel της μη πληρότητας της αριθμητικής. Επέκταση της απόδειξης μέσω της πρότασης του Rosser. Αποτελέσματα αναποκρισιμότητας Church – Turing. Εκφρασιμότητα και το θεώρημα του Tarski της μη ορισιμότητας του κατηγορήματος της αλήθειας. Το θεώρημα του Löb και τα συναφή. Απόδειξη του δευτέρου θεωρήματος της μη πληρότητας του Gödel. Αποκρίσιμες και (ουσιωδώς) μη αποκρίσιμες θεωρίες. (EL)

learningMaterial
bookChapter

ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ (EL)
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.