науки, как математика.
Парадокс «куча» строго аналогичен парадоксу «лысый». Одно зерно (один камень и т. п.) не образует кучи. Если n зерен не образуют кучи, то и n+1 зерно не образуют кучи. Следовательно, никакое число зерен не может образовать кучи.
Продолжая тему возраста, начатую предыдущими примерами («молодой человек», «человек среднего возраста»), можно было бы доказать теперь, что стариков вообще нет, а есть только младенцы. Правда, к последним относились бы и все те, кому сто лет и больше. С равным успехом удалось бы также показать, что всякий человек, в том числе и только что родившийся, является глубоким стариком.
Возможность всех этих и подобных им доказательств означает, что принцип математической индукции имеет строго ограниченную область приложения. Он не должен применяться, в частности, в рассуждениях об объектах, обозначаемых неточными, расплывчатыми понятиями.
Возникает, однако, вопрос: благодаря каким свойствам математических понятий парадоксы, подобные описанным, не могут появиться в математике? В чем состоит та особая «жесткость» математических объектов, которая дает возможность распространить на них математическую индукцию? Или, говоря иначе, какие именно объекты являются «математическими», подпадающими под действие принципа математической индукции?
Из этих вопросов можно сделать, в частности, вывод, что при обосновании математики принцип математической индукции не должен приниматься в качестве самоочевидного и исходного.
Оказывается в итоге, что древние парадоксы, касающиеся неточных понятий, перекликаются с самыми современными спорами по поводу оснований математики. Неточными являются не только эмпирические понятия, подобные «дому», «куче», «старику» и т. д., но и многие теоретические понятия, такие, как «идеальный газ», «материальная точка» и т. д.
Характерная особенность неточных понятий заключается в том, что с их помощью можно конструировать неразрешимые высказывания. Относительно таких высказываний невозможно решить, истинны они или нет, как, скажем, в случае высказываний: «Человек тридцати лет – молод» и «Тридцать лет – это средний возраст».
Естественно, что наука стремится исключать неточные понятия, как и содержащие их неразрешимые высказывания из своего языка. Однако ей не всегда удается это сделать. Многие ее понятия заимствованы из повседневного языка, модификация и уточнение их далеко не всегда и не сразу приводят к успеху.
Неточными являются, в частности, обычные понятия, связанные с измерением пространства и времени. На это впервые обратил внимание А. Эйнштейн. Он показал, что понятия «одновременные события» и «настоящее время» не являются точными. Легко сказать, одновременны или нет события, происходящие в пределах восприятия человека. Установление же одновременности удаленных друг от друга событий требует синхронизации часов, сигналов. Содержание обычного понятия одновременности не определяет никакого метода,
