В том, как собранные в этой главе различные логические задачи-головоломки относятся к математике, нетрудно усмотреть некую общую тенденцию. Все математические задачи решаются при помощи рассуждений, проводимых в рамках некоторой дедуктивной системы, включающей в себя наряду с другими правилами основные законы логики. Хотя для решения любой задачи из этой главы не требуется знание формальной логики, тем не менее ведущие к решению неформальные рассуждения по существу имеют много общего с теми, которые проводят математики, физики, химики и биологи, сталкиваясь с какой-нибудь трудной проблемой.
Под «трудной проблемой» мы понимаем здесь задачу, подход к решению которой неизвестен. Разумеется, если алгоритм решения существует, то ни о какой по-настоящему трудной проблеме не может быть и речи: достаточно лишь засыпать зерна исходных данных и привести в действие жернова алгоритма, как мы получим ответ. Например, памятная всем формула корней квадратного уравнения говорит нам о том, какие действия и в какой последовательности необходимо произвести над коэффициентами уравнения, чтобы найти его корни.
И в математике, и в естественных науках интересными задачами, бросающими вызов исследователю, принято считать такие, для решения которых не существует готовых методов. Столкнувшись с такой задачей, исследователь долго, а иногда и мучительно размышляет, перебирая в памяти всю информацию, имеющую хотя бы отдаленное отношение к интересующей его теме, в надежде, что удачная догадка подскажет нужное решение. Именно поэтому решение занимательных логических задач служит великолепной тренировкой к решению важных научных проблем.
Некоторые задачи в этой главе связаны с серьезной математикой еще более тесными узами. Например, задача «В костюмах одного цвета» и следующая за ней задача легко решаются табличным методом, аналогичным широко используемому в формальной логике методу таблиц истинности. В одной из этих задач встречается важное логическое отношение — так называемая «материальная импликация». В исчислении высказываний (одном из разделов математической логики, имеющем первостепенное значение) импликацию принято обозначать знаком ⊃ или →. Отношение A ⊃ B означает, что если A истинно, то B должно быть истинно. Одно из возможных истолкований этого логического отношения (на языке теории множеств) гласит: все элементы множества B содержатся в множестве A.
Слово «индукция» имеет по существу два различных значения. Неполная индукция — это процесс восхождения от частного к общему. Ученый, наблюдающий частные случаи (например, замечающий, что