[Перевод] Можно ли доверять компьютерам?
Это простое выражение на языке математического ПО Maple проверяет формулу, подсчитывающую количество целочисленных треугольников с заданным периметром. Шалош Б. Эхад, соавтор нескольких работ, опубликованных в уважаемых математических журналах, известен своими лаконичными доказательствами теорем и тождеств, ранее требовавших многих страниц математических рассуждений. В прошлом году, когда его попросили подтвердить формулу для количества целочисленных треугольников с заданным...





![[Перевод] Как я перепрограммировала свой мозг, чтобы начать разбираться в математике [Перевод] Как я перепрограммировала свой мозг, чтобы начать разбираться в математике](https://habrastorage.org/getpro/geektimes/post_images/1ed/610/57b/1ed61057b6d0f460bfe0913088c623e9.jpg)


