2017•Vestnik Tomskogo gosudarstvennogo universitetaOpen access
The truth of undecidable sentences in the perspective of Godel's first incompleteness theorem
Vitaly V. Tselishchev
Open full text 1 citations
Abstract
В.В. Целищев ИСТИННОСТЬ НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЙ В СВЕТЕ ПЕРВОЙ ТЕОРЕМЫ ГЁДЕЛЯ О НЕПОЛНОТЕ Исследование выполнено при финансовой поддержке РНФ (грант 16-18-10359).Сопоставляются два способа определения истинности неразрешимого геделева предложения.Стандартный способ апеллирует исключительно к метаматематическим соображениям, в то время как предложенный М. Даммитом анализ апеллирует к арифметической интерпретации.Экспликация аргумента Даммита и его опровержение ставят вопрос о различии эпистемологической значимости двух подходов к истинности геделева предложения.
Open-access reader