Но попросите их объяснить, почему этот трюк обязательно должен работать, и средний человек, если он не математик, не сможет ответить. (А наше начальное образование таково, что многие не будут даже знать с чего начать, чтобы получить ответ).

В данном случае нужно было заметить различие между порядковым номером данного нечетного числа и его количественным значением, то есть различие в логическом типе! Мы привыкли к тому, что название чисел всегда совпадает с их численным значением [Иначе говоря, можно сказать, что число чисел во множестве – это не то же самое, что сумма чисел в этом множестве. Так или иначе, здесь мы встречаемся с разными логическими типами.]. Но в данном случае, имя – это, конечно, не то же самое, что объект, который оно обозначает.

Сумма первых трех нечетных чисел равна 9, то есть квадрату порядкового имени наибольшего числа в последовательности, которую необходимо просуммировать (в нашем случае, порядковое имя 5 – «3»). Или, если хотите, это квадрат числа чисел в этой последовательности. Вот словесное выражение описанного трюка.

Чтобы доказать, что этот трюк будет работать, мы должны показать, что разность между двумя последовательными суммами нечетных чисел всегда равна разности между квадратами их порядковых имен.

Например, сумма первых пяти нечетных чисел минус сумма первых четырех нечетных чисел должна равняться 5 2 – 4 2. В тоже время можно заметить, что разность между этими двумя суммами должна быть последним нечетным числом, добавленным к этому множеству. Иначе говоря, последнее добавленное число должно быть равно разности между квадратами.

Рассмотрим этот вопрос на зрительном языке. Мы должны показать, что при добавлении следующего нечетного числа к сумме предыдущих нечетных чисел эта сумма всегда возрастет ровно настолько, чтобы стать равной квадрату порядкового имени этого нечетного числа.

Представим первое нечетное число (1) одним квадратом:

Представим второе нечетное число (3) тремя квадратами:

Сложим эти два числа друг с другом:

Представим третье нечетное число (5) пятью квадратами:

Добавим это к предыдущей фигуре:

То есть, 4 + 5 = 9.

И так далее. Зрительное представление позволяет довольно легко объединить порядковые числа, количественные числа и закономерности суммирования рядов.

Итак, мы увидели, что использование геометрической метафоры оказалось весьма полезным для понимания того, как механический трюк превращается в закономерность. Что более важно, школьник осознал разницу между применением трюка и пониманием неизбежной истины, стоящей за этим трюком. И что еще более важно, школьник получил (может быть, не осознавая этого) опыт в переходе от рассуждений внутри арифметики к рассуждениям по поводу арифметики. Не числа, а число чисел.

Именно тогда, по словам Уоллеса Стивенса,

Виноград показался сочнее.

Лиса выскочила из норы.

Однажды фон Нейман полушутя заметил, что для воспроизводства машин необходимое условие состояло бы в том, чтобы две машины действовали совместно.

Деление, сопровождаемое самовоспроизводством, безусловно является одним из основных признаков жизни, независимо от того, приводит ли это деление к размножению или росту, и биохимики уже знают в общих чертах процессы воспроизводства ДНК. Но затем начинается дифференциация – будь то (несомненно) случайное производство эволюционного разнообразия, или упорядоченная дифференциация в эмбриологии. Деление, по-видимому, должно чередоваться со слиянием – это общая истина, иллюстрирующая принцип обработки информации, которым мы теперь занимаемся, а именно: два источника информации (часто относящиеся к языкам разного рода) несравненно лучше, чем один.

На уровне бактерий и даже среди простейших, некоторых грибов и морских водорослей все гаметы кажутся тождественными; но у всех многоклеточных и растений, то есть организмов, стоящих выше уровня грибов, гаметы различаются своим полом.

Вначале возникает бинарная дифференциация гамет, из которых одна обычно подвижна, а другая неподвижна. Затем это приводит к дифференциации на два типа многоклеточных организмов, которые производят эти два рода гамет.

Наконец, у многих растений и паразитов животных наблюдаются еще болеее сложные циклы, что называется чередованием поколений.

Все эти уровни дифференциации, несомненно, связаны с информационной экономикой деления, слияния и полового диморфизма.

Итак, возвращаясь к самым примитивным формам деления и слияния, мы замечаем, что первый результат или вклад слияния в экономику генетической информации состоит, по-видимому, в некоторой проверке.

Процесс слияния хромосом в основном одинаков у всех растений и животных, и где бы он ни происходил, соответствующие цепочки вещества ДНК выстраиваются напротив друг друга и, в функциональном смысле, сравниваются. Если отличия между цепочками вещества из соответсвующих гамет слишком велики, то (так называемое) оплодотворение произойти не может [ Кажется, впервые эта мысль была высказана Ч. П. Мартином в его книге Психология, эволюция и половое размножение, 1956 (C.P. Martin, Psychology, Evolution and Sex, 1956). Самюэль Батлер (в Дальнейших записках Самюэля Батлера, изданных Фестингом Джонсом (More Notebooks of Samuel Butler, edited by Festing Jones)) приводит подобное рассуждение по поводу партеногенеза. Он утверждает, что партеногенез относится к половому размножению так же, как сновидения относятся к мышлению. Мышление стабилизируется и проверяется сравнением с нашей моделью внешней реальности, в то время как сновидения безудержны. Подобным образом, можно ожидать, что партеногенез будет безудержным, в то время, как образование зиготы стабилизируется взаимным сравнением гамет.].

Во всем процессе эволюции слияние, являющееся центральным фактом полового размножения, выполняет функцию ограничения генетической изменчивости. Гаметы, по какой-либо причине (будь то мутация или что-нибудь иное) слишком отличающиеся от статистической нормы, имеют подавляющую вероятность встретиться при половом слиянии с более нормальными гаметами противоположного пола, и благодаря этой встрече крайние случаи отклонения будут исключены. (Заметим, между прочим, что эта потребность исключить отклонения плохо удовлетворяется при «кровосмесительных» браках между гаметами из близкородственных источников).