История изменений

поэтому математикой до сих пор занимаются математики, а не алгоритмы

Вот лично для меня загадка почему до сих пор нет штуковины, которая проверяла бы эти многостраничные доказательства (пусть бы даже их и нужно было бы переписывать на специфичный ЯП).

поэтому математикой до сих пор занимаются математики, а не алгоритмы

Вот лично для меня загадка почему до сих пор нет штуковины, которая проверяла бы эти многостраничные доказательства (пусть бы даже их и нужно было бы переписывать на этот ЯП).