|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mccme.ru/dubna/2006/courses/abs.html
Дата изменения: Mon Jul 24 12:15:02 2006 Дата индексирования: Sat Dec 22 12:26:26 2007 Кодировка: koi8-r Поисковые слова: http astrokuban.info astrokuban |
А.Б.Сосинский планирует провести 1 занятие.
Теорему Гёделя, о которой пойдет речь, многие считают крупнейшим достижением математики двадцатого века. Впрочем, эта теорема (вернее, метатеорема) имеет не меньшее значение для философии (теория познания), для информатики и для применения компьютеров. На лекции будет подробно обсуждатся формулировка теоремы (и ее значения для науки) и приведен эскиз доказательства (принадлежащего американскому математику Чейтину) основанный на понятии сложности, введенном великим русским ученым А.Н.Колмогоровым.
Необходимые понятия, выходящие за рамки обычной 8-летней школы, будут определены на лекции. Поэтому лекция формально доступна для всех участников летней школы. Но это не значит, что она будет простой для восприятия.
