x, y, z

Теорема Гёделя

Александр Буфетов

Комментарии: 0
Часть 1

Часть 2

В стандартной интерпретации гёделева неразрешимая формула A означает «не существует вывода формулы A», то есть утверждает свою собственную невыводимость в системе S. Таким образом, A является аналогом парадокса лжеца. Рассуждения Гёделя в целом очень похожи на парадокс Ришара. Более того, для доказательства существования невыводимых утверждений может быть использован любой семантический парадокс.

Буфетов Александр Игоревич, доктор физико-математических наук.
Летняя научно-исследовательская школа «Бригантина» Белорусского государственного университета
17-18 июля 2017 г.
Комментарии: 0