Карта → город
Пекин
1 событие · 1 линия истории математики
-
11977У Вэньцзюнь: машина доказывает теоремы о треугольнике
Геометрическое утверждение переводится в систему многочленов, и вопрос «верна ли теорема» становится вопросом о делимости. Метод У доказывает сотни классических теорем подряд, не пользуясь ни одной догадкой. Двадцать три века изобретательности оказались сводимы к алгоритму — самый честный финал, какой у этой линии может быть.