[Перевод] Калькулятор с двумя кнопками: как одна функция заменяет синус, корень и π
- Words
- 57
- Chars
- 389
- AI summary
- Yes
A translated article describes how an engineering calculator’s elementary functions can be built from the number 1 and a single operation, eml(x, y) = exp(x) − ln(y). Physicist Andrzej Odrzywolek found the operation through program search, and a proof-checking program confirmed the result. The article examines how e and zero are derived from eml, why sine requires more than ten levels of nesting, and what eml would cost in neural networks.
Для элементарных функций инженерного калькулятора хватает числа 1 и одной операции eml(x, y) = exp(x) − ln(y). Физик Анджей Одживолек нашёл её программным перебором, а его результат подтвердила программа проверки доказательств. Разбираемся, как из этой операции получаются e и ноль, почему синус требует больше десяти уровней вложенности и во что обошлась бы eml в нейросетях. Читать далее
Open article