bravchick

Понятно, что я имел ввиду: "невозможно придумать, если не знать решения в обычном порядке". Все что я хотел сказать, это то, что компьютеру совершенно все равно, в каком порядке делать взвешивания, а человеку нет. Точно также, как компьютеру все равно, какое из двух решений выбрать, а человеку нет. Поэтому, есть серьезная опасность того, что внедрение компьютерных доказательств в математику приведет к ослаблению роли интуиции математиков. В современной математике есть очень много неверных доказательств, но очень мало неверных утверждений. Ошибки в доказательствах находят постоянно. Но очень, очень редко выясняется, что утверждение, которое считали верным многие годы, вдруг опровергают. Это бывает, но такие случаи можно пересчитать на пальцах. И я не знаю ни одного примера, когда в результате такой ошибке неверной бы оказалась целая область. Причина того, что математика более или менее верна, мне кажется, в том, что, хотя математики часто делают ошибки, их интуиция работает достаточно хорошо. Вопреки распространенному мнению, математика проверяется не строгими доказательствами, а интуицией. Если роль этой интуиции уменьшится, все здание может очень быстро развалиться.