Владимир Владимирович Успенский

В.В. Успенский проведет два занятия,в их числе:

Диагональный метод и невыразимость истины

Метод, придуманный Кантором для доказательства несчетности множества всех двоичных последовательностей, лежит в основе доказательства ряда других фундаментальных теорем, в том числе таких:

• - существование борелевского множества на плоскости с неборелевской проекцией (теорема Суслина--Лузина; Лебег ошибочно утверждал обратное);
• - существование неразрешимого перечислимого множества;
• - теорема Геделя о неполноте и ее усиление -- теорема Тарского о неарифметичности множества истин (известная также как "теорема о невыразимости истины").

Organization Committee e-mail:
dubna@mccme.ru