Для элементарных функций инженерного калькулятора хватает числа 1 и одной операции eml(x, y) = exp(x) − ln(y). Физик Анджей Одживолек нашёл её программным перебором, а его результат подтвердила программа проверки доказательств. Разбираемся, как из этой операции получаются e и ноль, почему синус…