Открытие без границ. Бесконечность в математике - Грасиан Энрике - Страница 4

Ответ: Всё равно. Не нужно, чтобы кто-то выполнял эти подсчёты в действительности. Достаточно знать, что это можно сделать. Даже если бы на Земле не было людей, это можно было бы сделать. Если никто не может сделать что-то, это не означает, что это «что-то» не существует.

Вопрос: Таким образом, бесконечность — это нечто, существующее независимо от нас.

Ответ: Разумеется.

В этих вопросах и ответах скрыты основные различия между актуальной и потенциальной бесконечностью. Тот, кому мы задали эти вопросы, очевидно склоняется к точке зрения Аристотеля.

Бронзовый барельеф итальянского скульптора Этторе Феррари (1848–1929), на котором изображён суд римской инквизиции над Джордано Бруно. Кампо деи Фиори, Рим.

Мы знакомимся с потенциальной бесконечностью уже в первые годы обучения в школе. Бесконечность связана с понятием счёта и, следовательно, с натуральным рядом, а также с циклическими процессами, связанными с течением времени: за днём следует ночь, за ночью — день и т. д. Наши представления о бесконечности обычно остаются неизменными, и если они вступают в противоречие с интуицией, то это не ведёт к каким-то заметным потрясениям. В действительности же они остаются более или менее неизменными потому, что мы редко используем их при решении каких-то сложных задач.

С актуальной бесконечностью дело обстоит совершенно иначе: она фигурирует во многих математических задачах, причём появляется внезапно, не оставляя времени на подготовку, поэтому неизбежно возникают противоречия, которые порой очень сложно преодолеть. Этот конфликт проявляется особенно остро, когда мы начинаем изучать математический анализ. Были проведены и до сих пор ведутся исследования, цель которых — определить, как и когда следует объяснять фундаментальные понятия при изучении математики и, в частности, математического анализа.

Для неспециалистов поясним, что математический анализ обычно начинают преподавать в старших классах, затем он изучается в течение двух-трёх лет практически на всех технических факультетах вузов.

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

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

Ещё одно противоречие возникает, когда выясняется, что ограниченные множества могут быть бесконечными, так как в нашем представлении бесконечность не имеет границ.

Как вы увидите далее, элементарная логика, или то, что порой называют интуицией, может обмануть, когда речь идёт об актуальной бесконечности. Причина в том, что при рассмотрении некоторых понятий мы не до конца понимаем их и многое принимаем на веру. Трудности, возникающие у студентов-математиков при изучении актуальной бесконечности, сравнимы с трудностями, которые испытывают студенты-физики при изучении квантовой механики. Классический пример из квантовой механики выглядит так. Допустим, у нас есть ящик с двумя отверстиями, в котором находится шар. Если мы будем перемещать ящик произвольным образом, можно ожидать, что шар выпадет из него через одно из двух отверстий. При определённых перемещениях мы даже сможем вычислить вероятность того, что он выпадет через конкретное отверстие. Намного сложнее представить, что шар выпадет через оба отверстия одновременно. Но в квантовой физике такой вариант возможен, хотя он полностью противоречит интуиции. Речь не идёт о том, чтобы понять это явление само по себе, так как всем известно, что означает: «шар выпадает через два отверстия сразу». Правильнее было бы сказать «я не верю» вместо «я не понимаю».

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

Противопоставление дискретного и непрерывного, которому уделяли внимание многие мыслители, восходит к трудам древнегреческих философов и до сих пор применяется в столь разных науках, как физика, математика, психология и лингвистика.