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

Σουβατζόγλου, Αντώνιος Ε.; Souvatzoglou, Antonios E.

dc.contributor.advisor	Αρβανιτάκης, Αλέξανδρος	el
dc.contributor.author	Σουβατζόγλου, Αντώνιος Ε.	el
dc.contributor.author	Souvatzoglou, Antonios E.	en
dc.date.accessioned	2011-12-07T07:21:08Z
dc.date.available	2011-12-07T07:21:08Z
dc.date.copyright	2011-12-06	-
dc.date.issued	2011-12-07
dc.date.submitted	2011-12-06	-
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/5533
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.9647
dc.description	63 σ.	el
dc.description.abstract	Αντικείμενο της παρούσης εργασίας είναι η αναλυτική παρουσίαση των θεωρημάτων μη-πληρότητας που απέδειξε ο Kurt Gödel και κυρίως η παρουσίαση και η αποσαφήνιση μιας μη-αυτοαναφορικής απόδειξης του Α’ θεωρήματος μη-πληρότητας την οποία διατύπωσε ο George Boolos το 1989. Η εργασία αυτή καλύπτει ένα κενό στην απόδειξη του Boolos, ορίζοντας ένα μαθηματικό τύπο που ο ίδιος αποφεύγει να ορίσει, αναφέροντας απλά στο παράρτημα της εργασίας ότι είναι εφικτό να οριστεί.	el
dc.description.abstract	Aim of this thesis is an analytic presentation of the incompleteness theorems proved by Kurt Gödel and mainly the presentation and clarification of a nonself-referential proof of the first incompleteness theorem which was formulated by George Boolos in 1989. This thesis also covers a gap in that proof, by defining a formula which Boolos avoids to define, merely mentioning in the appendix of his paper that its definition is feasible.	en
dc.description.statementofresponsibility	Αντώνιος Ε. Σουβατζόγλου	el
dc.language.iso	el	en
dc.rights	ETDFree-policy.xml	en
dc.subject	Θεώρημα Gödel	el
dc.subject	Μη-πληρότητα	el
dc.subject	Μη-αυτοαναφορική απόδειξη	el
dc.subject	Gödel	en
dc.subject	Theorem	en
dc.subject	Incompleteness	en
dc.subject	Nonself-referential	en
dc.subject	Boolos	en
dc.title	Τα θεωρήματα μη πληρότητας του Gödel	el
dc.title.alternative	Gödel’s incompleteness theorems	en
dc.type	bachelorThesis	el (en)
dc.date.accepted	2011-10-24	-
dc.date.modified	2011-12-06	-
dc.contributor.advisorcommitteemember	Παπαϊωάννου, Αλέξανδρος	el
dc.contributor.advisorcommitteemember	Ψαρράκος, Παναγιώτης	el
dc.contributor.committeemember	Αρβανιτάκης, Αλέξανδρος	el
dc.contributor.committeemember	Παπαϊωάννου, Αλέξανδρος	el
dc.contributor.committeemember	Ψαρράκος, Παναγιώτης	el
dc.contributor.department	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών	el
dc.date.recordmanipulation.recordcreated	2011-12-07	-
dc.date.recordmanipulation.recordmodified	2011-12-07	-