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

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

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

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

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Κολιώνης, Γεώργιος
Συγγραφή απο Οργανισμό/Αρχή: Πανεπιστήμιο Αιγαίου. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Μορφή: Thesis Βιβλίο
Γλώσσα:Greek
Δημοσίευση: Καρλόβασι, Σάμος : Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών, 2005.
Θέματα:
University of the Aegean > Dissertations.
Gödel's theorem.
Dissertations, Academic > Greece.
Διαθέσιμο Online:http://hdl.handle.net/11610/7986
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC

LEADER 00000cam a2200000 i 4500
001 1/88525
008 051102s2005 gr | ||| |||| ||gre||
035 |l 10081100 
040 |a GR-MyUA  |b gre  |e AACR2 
041 0 |a gre 
082 0 |a 510.1   |2 (22)  
100 1 |a Κολιώνης, Γεώργιος. 
245 1 3 |a Το θεώρημα μη πληρότητας του Godel :   |b πτυχιακή εργασία /   |c Γιώργος Κολιώνης ; επιβλέπων καθηγητής, Βαγγέλης Φελουζής.  
260 |a Καρλόβασι, Σάμος :   |b Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών,   |c 2005.  
300 |a 81 σ. ;   |c 30 εκ.  
500 |a Μέλη της εξεταστικής επιτροπής: Βαγγέλης Φελουζής, Μιχάλης Ανούσης, Κυριάκος Κερεμίδης.  
502 |a Πτυχιακή εργασία – Πανεπιστήμιο Αιγαίου, Σάμος, 2005. 
504 |a Βιβλιογραφία: σ. 81.  
506 0 |a Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση.  
520 8 |a Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Peano χωρίς τη χρήση της εκθετικής συνάρτησης, με την προϋπόθεση της ω-συνέπειας. Σύντομη ιστορική αναδρομή.  
610 2 0 |a University of the Aegean  |x Dissertations. 
650 0 0 |a Gödel's theorem. 
650 0 0 |a Dissertations, Academic  |z Greece. 
700 1 |a Φελουζής, Βαγγέλης,  |e dgs 
710 2 |a Πανεπιστήμιο Αιγαίου.   |b Σχολή Θετικών Επιστημών.   |b Τμήμα Μαθηματικών. 
852 |a INST  |b SAMOS  |c DIATR  |e 20051102  |h 510.1 ΚΟΛ  |p 005300024809  |q 005300024809  |t DIE  |y 23 
852 |a INST  |b SAMOS  |c DIATR  |e 20051102  |h 510.1 ΚΟΛ  |p 005300024810  |q 005300024810  |t DIE  |y 23 
856 |u http://hdl.handle.net/11610/7986 
901 |a BIBL3-2005-3 
909 |a Σ  |b 114869 
909 |a Σ  |b 114870 
924 |a ΚΟΛΙΩΝΗΣ  |b ΓΙΩΡΓΟΣ  |y Σάμος  |z 2005-10 
970 |a ΚΟΣΙΕΡΗΣ  |b ΧΡΗΣΤΟΣ  |z 2005/10/02 

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