|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mccme.ru/dubna/2009/courses/vvu-1.htm
Дата изменения: Mon Jul 6 18:51:07 2009 Дата индексирования: Tue Aug 18 13:04:18 2009 Кодировка: koi8-r Поисковые слова: п п п п п п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п |
Владимир Владимирович УспенскийДиагональный метод и невыразимость истины.В.В.Успенский планирует провести 2занятия |
|
Множество всех бесконечных двоичных последовательностей несчетно. Диагональный метод, придуманный Кантором для доказательства этого факта, можно применить и для доказательства ряда других фундаментальных теорем, в том числе таких:
- теорема Геделя о неполноте и ее усиление — теорема Тарского о неарифметичности множества истин (известная также как "теорема о невыразимости истины");
- существование неразрешимого перечислимого множества натуральных чисел;
- существование борелевского множества на плоскости с неборелевской проекцией (теорема Суслина–Лузина; Лебег ошибочно утверждал, что проекция борелевского подмножества плоскости на прямую — борелевское множество).
