Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения |
| Πηγή: |
Вестник Томского государственного университета. 2018. № 434. С. 83-87 |
| Στοιχεία εκδότη: |
2018. |
| Έτος έκδοσης: |
2018 |
| Θεματικοί όροι: |
истина (философия), парадокс лжеца, логические парадоксы, Тарский, Альфред 1901-1983, непротиворечивость, Крипке, Сол 1940, теории истины |
| Περιγραφή: |
Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Использование аналогий между бестиповыми теориями истины и теориями со «встроенной» непротиворечивостью позволяет сделать заключение о сфере применимости Второй теоремы Геделя, никоим образом не оспаривая ее справедливость при выполнении условий выводимости Гильберта–Бернайса. |
| Τύπος εγγράφου: |
Article |
| Περιγραφή αρχείου: |
application/pdf |
| Γλώσσα: |
Russian |
| DOI: |
10.17223/15617793/434/10 |
| Σύνδεσμος πρόσβασης: |
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000644709 |
| Αριθμός Καταχώρησης: |
edsair.od......3810..d83e0d836bdaad36f45db532433ad3cf |
| Βάση Δεδομένων: |
OpenAIRE |