А.Б.Сосинский планирует провести 1 занятие.
Теорему Гёделя, о которой пойдет речь, многие считают крупнейшим достижением математики двадцатого века. Впрочем, эта теорема (вернее, метатеорема) имеет не меньшее значение для философии (теория познания), для информатики и для применения компьютеров. На лекции будет подробно обсуждатся формулировка теоремы (и ее значения для науки) и приведен эскиз доказательства (принадлежащего американскому математику Чейтину) основанный на понятии сложности, введенном великим русским ученым А.Н.Колмогоровым.
Необходимые понятия, выходящие за рамки обычной 8-летней школы, будут определены на лекции. Поэтому лекция формально доступна для всех участников летней школы. Но это не значит, что она будет простой для восприятия.
