[Перевод] Можно ли доверять компьютерам?
Это простое выражение на языке математического ПО Maple проверяет формулу, подсчитывающую количество целочисленных треугольников с заданным периметром. Шалош Б. Эхад, соавтор нескольких работ, опубликованных в уважаемых математических журналах, известен своими лаконичными доказательствами теорем и тождеств, ранее требовавших многих страниц математических…
Читать дальше
![[Перевод] Можно ли доверять компьютерам? [Перевод] Можно ли доверять компьютерам?](https://habrastorage.org/getpro/geektimes/post_images/3a5/660/287/3a5660287aa42d3139f727a75470bf54.jpg)

![[Перевод] Специалисты по информатике идут нехожеными дорогами [Перевод] Специалисты по информатике идут нехожеными дорогами](https://habrastorage.org/getpro/geektimes/post_images/32f/98e/7cd/32f98e7cd19ca13d77f488ec564917b7.jpg)
![[Перевод] Загадочные структуры объединяют математику и природу [Перевод] Загадочные структуры объединяют математику и природу](https://habrastorage.org/getpro/geektimes/post_images/3df/fa7/bd6/3dffa7bd6acd0dd03b1434f66b24291a.jpg)


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