В рамках CS Club в Екатеринбурге Ю.В.Матиясевич читает серию лекций. Глядя на анонс у меня было ощущение, что это только для сильных духом и гуру в математике. Но я все таки пришел, и совсем-совсем не пожалел. Такого удовольствия от доказательства математической теоремы я не получал с момента доказательства основной теоремы алгебры. :)
С одной стороны все было понятно, а с другой, я теперь довольно отчетливо представляю, как решать, например, такую задачу:
Найти максимальное количество шаров, которые могут касаться другого такого же шара в 7-мерном пространстве.
Всем смело рекомендую завтрашнюю лекцию!
Подробности тут:
http://logic.pdmi.ras.ru/csclub/ural