Το θεώρημα μη πληρότητας του Godel : πτυχιακή εργασία
Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Pea...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Thesis Βιβλίο |
| Γλώσσα: | Greek |
| Δημοσίευση: |
Καρλόβασι, Σάμος :
Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών,
2005.
|
| Θέματα: | |
| Διαθέσιμο Online: | http://hdl.handle.net/11610/7986 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περίληψη: | Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Peano χωρίς τη χρήση της εκθετικής συνάρτησης, με την προϋπόθεση της ω-συνέπειας. Σύντομη ιστορική αναδρομή. |
|---|---|
| Περιγραφή τεκμηρίου: | Μέλη της εξεταστικής επιτροπής: Βαγγέλης Φελουζής, Μιχάλης Ανούσης, Κυριάκος Κερεμίδης. |
| Φυσική περιγραφή: | 81 σ. ; 30 εκ. |
| Βιβλιογραφία: | Βιβλιογραφία: σ. 81. |
| Πρόσβαση: | Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση. |