Το θεώρημα μη πληρότητας του Godel : πτυχιακή εργασία
Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Pea...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Thesis Book |
| Language: | Greek |
| Published: |
Καρλόβασι, Σάμος :
Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών,
2005.
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11610/7986 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|