Конструктивизм в логике и математике (Витгенштейн против Геделя: некоторые современные прочтения)

Родин, Кирилл Александрович

Конструктивизм в логике и математике (Витгенштейн против Геделя: некоторые современные прочтения)

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

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

Аннотация:

Рассматриваются некоторые современные интерпретации заметок Л. Витгенштейна о Гёделе (о первой теореме о неполноте) в контексте решающего для Витгенштейна в философии математики различия между алгоритмическим и конструктивным (метаматематическим) типом доказательства. В рамках недавнего прочтения Т. Ламперта демонстрируется возможность соотнести соответствующие заметки Витгенштейна непосредственно с доказательством первой теоремы о неполноте.

Ключевые слова:
Витгенштейн, Людвиг 1889-1951, Гедель, Курт 1906-1978, Геделя теорема о неполноте, доказуемость, философия математики, конструктивные доказательства, алгоритмические доказательства, теория моделей, семантика

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

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 45. С. 103-113