Το θεώρημα μη πληρότητας του Godel :

Το θεώρημα μη πληρότητας του Godel : πτυχιακή εργασία

Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Pea...

Full description

Saved in:
Bibliographic Details
Main Author: Κολιώνης, Γεώργιος
Corporate Author: Πανεπιστήμιο Αιγαίου. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Format: Thesis Book
Language:Greek
Published: Καρλόβασι, Σάμος : Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών, 2005.
Subjects:
University of the Aegean > Dissertations.
Gödel's theorem.
Dissertations, Academic > Greece.
Online Access:http://hdl.handle.net/11610/7986
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Peano χωρίς τη χρήση της εκθετικής συνάρτησης, με την προϋπόθεση της ω-συνέπειας. Σύντομη ιστορική αναδρομή.
Item Description:Μέλη της εξεταστικής επιτροπής: Βαγγέλης Φελουζής, Μιχάλης Ανούσης, Κυριάκος Κερεμίδης.
Physical Description:81 σ. ; 30 εκ.
Bibliography:Βιβλιογραφία: σ. 81.
Access:Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση.

Similar Items