Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Первая лекция

В связи с переносом выходных первая лекция состоится в четверг 27 февраля согласно расписанию (в 18:00, ауд. 13-04)


В некоторые из дней возможно изменение аудиторий на 13-05


Семинар «Глобус» Московского Независимого Университета.
Заседание 6 марта 2003 года

С.Н.Артемов (МГУ и CUNY Graduate Center, New York)

Может ли классическая математика мыслить интуиционистски?

Подробности


В слайдах лекции 3 замечено много опечаток. Есть надежда, что они скоро будут исправлены и соответствующие файлы — заменены.


Опечатки в лекции 3 исправлены и соответствующие файлы — заменены.


Опечатки в лекции 4 исправлены и соответствующие файлы — заменены.


По вопросам сдачи экзамена по спецкурсу обращаться к Владимиру Николаевичу Крупскому и Мати Рейновичу Пентусу


На сайте С.Н. Артемова выложен список открытых проблем по тематике курса.