Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности вы можете узнать у организаторов события.
В Кочерге продолжаются (после месячного перерыва) семинары по теории алгоритмов. На ближайшей встрече планируется завершить доказательство теоремы Гёделя и вкратце поговорить о её философском значении.
В Кочерге продолжаются (после месячного перерыва) семинары по теории алгоритмов. Теория алгоритмов современная наука на стыке математики и информатики. Она включает в себя теорию вычислимости (сюда относится известная проблема остановки для машин Тьюринга), теорию сложности вычислений (сюда относится одна из проблем тысячелетия равенство классов P и NP), а также вопросы построения эффективных алгоритмов для задач, которые заведомо решаемы (вопросы такого рода обычно встречаются на олимпиадах по информатике и на собеседованиях в различные IT-компании).
В предыдущий раз мы сформулировали и начали доказывать знаменитую теорему Гёделя о неполноте формальной арифметики — о том, что в теории натуральных чисел существуют недоказуемые и неопровержимые утверждения. Имеется видеозапись:
На ближайшей встрече планируется завершить доказательство этой теоремы и вкратце поговорить о ее философском значении. Кроме того, если останется время, мы попробуем сформулировать и схематично доказать вторую теорему Гёделя, а затем привести пару конкретных примеров утверждений, которые как раз являются недоказуемыми и неопровержимыми в упомянутой теории натуральных чисел.
От слушателей ожидается владение математикой и программированием на уровне выпускника 11-го класса профильной школы. Опыт решения олимпиадных задач по информатике будет плюсом.
Ведущий — Илья Мещерин, студент 6 курса кафедры дискретной математики МФТИ, студент Школы анализа данных Яндекса.
***
Встречи проходят по понедельникам, в 20:00, в антикафе Кочерга.