Дата публикации: 2018

Дата публикации в реестре: 2020-03-03T18:30:29Z

Аннотация:

Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Использование аналогий между бестиповыми теориями истины и теориями со «встроенной» непротиворечивостью позволяет сделать заключение о сфере применимости Второй теоремы Геделя, никоим образом не оспаривая ее справедливость при выполнении условий выводимости Гильберта–Бернайса.

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. 2018. № 434. С. 83-87