Приятного просмотра

Теорема Гёделя. Лекция 1 // Александр Буфетов

Опубликовано: 9 месяцев назад
604 просмотров
👎 1
Скопируйте и вставте на Ваш сайт

Описание


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

Субтитры

Нет субтитров

Комментарии

Нет комментариев!