Το θεώρημα μη πληρότητας του Godel
Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Pea...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2015
|
| Θέματα: | |
| Διαθέσιμο 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 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|