Получив новые знания, математики пытаются в них разобраться
Знаковое доказательство из области информатики заодно решило важную задачу, известную, как гипотеза Конна о вложенности. Теперь математики работают над тем, чтобы понять её. Всегда ли есть способ аппроксимировать бесконечные фотоны в луче света конечным массивом чисел? Представьте, что на Землю прилетели пришельцы и выдали нам правильные ответы на самые важные вопросы: есть ли Бог? Истинна...