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

Το σύστημα της αριθμητικής του Peano. Η αριθμητική του Robinson. Η έννοια της αναπαραστασιμότητας. Απόδειξη ότι όλες οι αναδρομικές συναρτήσεις αναπαρίστανται στην αριθμητική. Αριθμητικοποίηση των μεταμαθηματικών. Απόδειξη ότι όλες οι μεταμαθηματικές σχέσεις και συναρτήσεις εκφράζονται με αναδρομικέ...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Koletsos, Georgios, Κολέτσος, Γεώργιος
Μορφή:	7
Γλώσσα:	Greek
Έκδοση:	2016
Θέματα:	ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Διαθέσιμο Online:	http://localhost:8080/jspui/handle/11419/2304

id	kallipos-11419-2304
record_format	dspace
spelling	kallipos-11419-23042021-07-11T22:03:37Z Τα Θεωρήματα μη πληρότητας του Gödel Godel's Incompleteness Theorems Koletsos, Georgios Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Το σύστημα της αριθμητικής του Peano. Η αριθμητική του Robinson. Η έννοια της αναπαραστασιμότητας. Απόδειξη ότι όλες οι αναδρομικές συναρτήσεις αναπαρίστανται στην αριθμητική. Αριθμητικοποίηση των μεταμαθηματικών. Απόδειξη ότι όλες οι μεταμαθηματικές σχέσεις και συναρτήσεις εκφράζονται με αναδρομικές σχέσεις – συναρτήσεις.<br/>Συνέπεια και ω-συνέπεια. Η απόδειξη του Gödel της μη πληρότητας της αριθμητικής. Επέκταση της απόδειξης μέσω της πρότασης του Rosser. Αποτελέσματα αναποκρισιμότητας Church – Turing. Εκφρασιμότητα και το θεώρημα του Tarski της μη ορισιμότητας του κατηγορήματος της αλήθειας. Το θεώρημα του Löb και τα συναφή. Απόδειξη του δευτέρου θεωρήματος της μη πληρότητας του Gödel.<br/>Αποκρίσιμες και (ουσιωδώς) μη αποκρίσιμες θεωρίες. 2016-02-04T13:03:13Z 2021-07-09T15:09:48Z 2016-02-04T13:03:13Z 2021-07-09T15:09:48Z 2016-02-04 7 http://localhost:8080/jspui/handle/11419/2304 el 1 application/pdf
institution	Kallipos
collection	DSpace
language	Greek
topic	ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
spellingShingle	ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Koletsos, Georgios Κολέτσος, Γεώργιος Τα Θεωρήματα μη πληρότητας του Gödel
description	Το σύστημα της αριθμητικής του Peano. Η αριθμητική του Robinson. Η έννοια της αναπαραστασιμότητας. Απόδειξη ότι όλες οι αναδρομικές συναρτήσεις αναπαρίστανται στην αριθμητική. Αριθμητικοποίηση των μεταμαθηματικών. Απόδειξη ότι όλες οι μεταμαθηματικές σχέσεις και συναρτήσεις εκφράζονται με αναδρομικές σχέσεις – συναρτήσεις.<br/>Συνέπεια και ω-συνέπεια. Η απόδειξη του Gödel της μη πληρότητας της αριθμητικής. Επέκταση της απόδειξης μέσω της πρότασης του Rosser. Αποτελέσματα αναποκρισιμότητας Church – Turing. Εκφρασιμότητα και το θεώρημα του Tarski της μη ορισιμότητας του κατηγορήματος της αλήθειας. Το θεώρημα του Löb και τα συναφή. Απόδειξη του δευτέρου θεωρήματος της μη πληρότητας του Gödel.<br/>Αποκρίσιμες και (ουσιωδώς) μη αποκρίσιμες θεωρίες.
format	7
author	Koletsos, Georgios Κολέτσος, Γεώργιος
author_facet	Koletsos, Georgios Κολέτσος, Γεώργιος
author_sort	Koletsos, Georgios
title	Τα Θεωρήματα μη πληρότητας του Gödel
title_short	Τα Θεωρήματα μη πληρότητας του Gödel
title_full	Τα Θεωρήματα μη πληρότητας του Gödel
title_fullStr	Τα Θεωρήματα μη πληρότητας του Gödel
title_full_unstemmed	Τα Θεωρήματα μη πληρότητας του Gödel
title_sort	τα θεωρήματα μη πληρότητας του gödel
publishDate	2016
url	http://localhost:8080/jspui/handle/11419/2304
work_keys_str_mv	AT koletsosgeorgios tatheōrēmatamēplērotētastougodel AT koletsosgeōrgios tatheōrēmatamēplērotētastougodel AT koletsosgeorgios godelsincompletenesstheorems AT koletsosgeōrgios godelsincompletenesstheorems
_version_	1771301340394291200

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

Παρόμοια τεκμήρια