Читать реферат по истории техники: "Апология Бесконечности" Страница 2

(Назад) (Cкачать работу)

Речь идет о публикациях и выступлениях А.А. Зенкина [7], [8], [9]. Вот как он оценивает свой результат [8, с. 167]: "Таким образом, впервые доказано великое интуитивное провидение (и предостережение!) Аристотеля, Лейбница, Локка, Декарта, Спинозы, Канта, Гаусса, Коши, Кронекера, Эрмита, Пуанкаре, Брауэра, Витгенштейна, Вейля, Лузина и многих других выдающихся математиков и философов о том, что "актуальная бесконечность" является внутренне противоречивым понятием и потому его использование в математике - недопустимо". Учение же Кантора объявляется вредным (там же): «именно теорема II Кантора всегда была и остается сегодня единственным(!) основанием для, поистине, вавилонского столпотворения несчетных ординалов и недостижимых кардиналов современной метаматематики: уберите теорему II Кантора, и весь этот блистательный супертрансфинитный "вавилон" рассыпется единовременно, поскольку самый разговор о существовании бесконечных множеств, различающихся по своей мощности, будет в этом случае выглядеть всего лишь "трансфинитной претензией на пустое глубокомыслие"» и "любопытным патологическим казусом в истории математики, от которого грядущие поколения придут в ужас". подобных мест с негативной оценкой Кантора и его учения в этих статьях весьма достаточно.

На чем основывается такая отрицательная оценка теории бесконечных множеств? Основывается она на невозможности доказать диагональным методом, да и всеми другими методами, существование бесконечных множеств, мощность которых строго больше мощности начального бесконечного множества, или коротко – отношение "2M>M" для бесконечного множества M. Сущность этой невозможности заключается в следующем. По предполагаемому пересчету нового множества 2M строят новый, "диагональный", элемент, который никаким образом не может содержаться в предполагаемом пересчете. Кантор и все его последователи (в их числе и наши известные математики П.С. Александров, А.А. Мальцев) из этого заключают, что новое множество нельзя пересчитать с помощью исходного множества M, которым, например, может быть множество натуральных чисел. Однако вся известная теория бесконечных множеств основывается на аксиоме бесконечности Дедекинда: "множество является бесконечным, если и только если оно имеет собственное подмножество, в которое взаимно однозначно отображается данное множество" [10, Т.1, с. 455]. поэтому, добавляя к любому бесконечному множеству один новый элемент, мы ничего не меняем – мощность данного множества не изменится. Следовательно, диагональный метод не должен заканчиваться обнаружением элемента, не входящего в предполагаемый пересчет множества 2M, а должен быть продолжен включением "диагонального" элемента в предполагаемый пересчет и соответственно получением нового предполагаемого пересчета, который уже будет содержать и этот "диагональный" элемент. Но затем может быть получен следующий "диагональный" элемент и эта процедура может продолжаться бесконечно, что и означает невозможность доказать несчетность множества 2M. Это, в свою очередь, означает не что иное, как невозможность построения канторовской иерархии алефов, из чего

Похожие работы