Истинность неразрешимых предложений в свете Первой теоремы Геделя о неполноте В. В. Целищев
Material type: ArticleOther title: The truth of undecidable sentences in the perspective of Godel's first incompleteness theorem [Parallel title]Subject(s): Гедель, Курт 1906-1978 | истина | геделево предложение | самореференцияGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета № 421. С. 53-58Abstract: Сопоставляются два способа определения истинности неразрешимого геделева предложения. Стандартный способ апеллирует исключительно к метаматематическим соображениям, в то время как предложенный М. Даммитом анализ апеллирует к арифметической интерпретации. Экспликация аргумента Даммита и его опровержение ставят вопрос о различии эпистемологической значимости двух подходов к истинности геделева предложения.Библиогр.: 14 назв.
Сопоставляются два способа определения истинности неразрешимого геделева предложения. Стандартный способ апеллирует исключительно к метаматематическим соображениям, в то время как предложенный М. Даммитом анализ апеллирует к арифметической интерпретации. Экспликация аргумента Даммита и его опровержение ставят вопрос о различии эпистемологической значимости двух подходов к истинности геделева предложения.
There are no comments on this title.