Тёмный
Теория вычисляемости и сложности.
Вкратце, о том, что можно, и самое главное, чего нельзя сделать с помощью компьютера.

Моя голова окончательно отказывается переваривать еще хоть какие-то теоремы... Савич, Кук, Левин, Чарч, Тьюринг, Эдмондс, Карп...
Докажите что язык НР-not невозможно определить за конечное время...
Докажите, что невозможно быстро разделить группу чисел на две группы, так чтобы суммы групп были равны...
Докажите...

Блин!
Я уже много лет только этим и занимаюсь. Я мальчик, я хочу пива и минет!
Люди, давайте договоримся, а? Просто решим, что P=NP и все будет ОК!

Не согласны? Ну и ладно.
Тогда завтра обещает быть интересным. :)