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

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

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

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

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Κολιώνης, Γιώργος - Λεωνίδας
Άλλοι συγγραφείς: Φελουζής, Ευάγγελος
Γλώσσα:Greek
Δημοσίευση: 2015
Θέματα:
Μαθηματική λογική
Mathematical logic
Gödel's theorem
Διαθέσιμο Online:https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=SblO*9F*94*C8*A4pq*B1*2F*B5*EA*8F*AB&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2005%20.1.88525&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2
http://hdl.handle.net/11610/7986
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Διαδίκτυο

https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=SblO*9F*94*C8*A4pq*B1*2F*B5*EA*8F*AB&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2005%20.1.88525&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2
http://hdl.handle.net/11610/7986

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