А) Отбрасывание догадки. Метод сдачи

Гамма. Сэр, ваше спокойствие удивляет меня. Один контрапример отвергает догадку так же эффективно, как и десять. Ваша догадка и ее доказательство полностью взорваны. Руки вверх! Вам нужно сдаться. Сотрите ложное предположение, забудьте о нем и попробуйте най­ти радикально новый подход.

Учитель. Согласен с вами, что контрапример Альфы — серьезная критика этого предположения. Но нельзя сказать, что доказательство «полно­стью взорвано». Если в настоящее время вы согласитесь с моим прежним предложением — употреблять слово «до­казательство» в смысле «мысленного эксперимента, при­водящего к разложению первоначального предполо­жения на ряд вспомогательных предположений», и не пользоваться им в смысле «гарантии некоторой исти­ны», то вам нет надобности приходить к такому заклю­чению. Мое доказательство действительно доказало пред­ложение Эйлера в первом смысле, но не обязательно во втором. Вы интересуетесь только такими доказательст­вами, которые «доказывают» то, для доказательства чего они созданы. Я же интересуюсь доказательствами, даже если они не выполняют их первоначального назначения. Колумб не достиг Индии, но он открыл нечто очень ин­тересное.

Альфа. Следовательно, по вашей философии — ло­кальный контрапример (если он не является одновремен­но глобальным) является критикой доказательства, но не предположения, а глобальный контрапример будет кри­тикой предположения, но не обязательно доказательства. Вы соглашаетесь сдаться в том, что касается предполо­жения, но вы защищаете доказательство. Но если пред­положение ложно, то что же тогда доказывает доказа­тельство?

Гамма. Ваша аналогия с Колумбом не подходит. Принятие глобального контрапримера равносильно пол­ной сдаче.