Задачка

[bravchick]

Может все знают, но мне только что рассказали немного необычную задачку на взвешивание: есть 6 гирь весом 1,2,3,4,5 и 6 килограммов соответственно. На каждой весит табличка, указывающая вес. За два взвешивания на весах без стрелок надо определить все ли таблички висят правильно. Задачка не очень сложная, но, по-моему, очень милая.

Comments

[bravchick.livejournal.com]

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