Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения	591 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/15617793/434/10

Title: Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения
Title: Typeless theories of truth and the built-in provability of consistency: parallels and intertwining
Creator: Целищев, Виталий Валентинович
|
Костяков, Артем Олегович
Date: 2018
DOI: 10.17223/15617793/434/10
Description: Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Использование аналогий между бестиповыми теориями истины и теориями со «встроенной» непротиворечивостью позволяет сделать заключение о сфере применимости Второй теоремы Геделя, никоим образом не оспаривая ее справедливость при выполнении условий выводимости Гильберта–Бернайса.