Предыдущая страница реферата | 1  2  3 | Следующая страница реферата

Из всего только что сказанного мы делаем два фундаментальных вывода. Первый вывод: счетное множество N=0,1,2,...,n,... современной стандартной математики является конечным множеством, мощность которого равна предельному числу N, не являющимся бесконечным и которое можно называть наибольшим конечным числом по аналогии с тем, как называли его наименьшим бесконечным числом. Второй вывод: наименьшего бесконечного множества не существует и не существует его в том смысле, что для любого бесконечного множества ω существует субстрат-множество w (множество двоичных разрядов), мощность которого w является строго меньшей мощности ω исходного множества. Другими словами, наряду с известным утверждением теории множеств о том, что "не существует наибольшего бесконечного множества", имеет место и утверждение о том, что "не существует и наименьшего бесконечного множества". Все эти проблемы детально изучены в книге [11].

Само собой разумеется, что предельным множеством для всех конечных множеств n является счетное множество N всех натуральных чисел n и оно есть конечное множество. Для бесконечных кардинальных чисел wp существует два предельных кардинала: ω+ – наибольший предельный кардинал, к которому стремятся большие кардиналы ω1,ω2,ω3,..., и ω- – наименьший предельный кардинал, к которому стремятся малые кардиналы ω-1,ω-2,ω-3,... . Все кардиналы, в том числе и конечные кардиналы nk, связаны между собой не только известным теоретико-множественным отношением "множество всех подмножеств 2M множества M", но и обратным этому отношению информационно-субстратным отношением IS=log2M (частным случаем которого является множество двоичных разрядов для представления того или иного множества чисел {0,1,2,...}). При этом бесконечный кардинал ω0=ω является мощностью начального бесконечного множества.

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

· первое: "часть не может быть равна целому", что на языке множеств означает: никакая собственная часть никакого множества не может быть эквивалентной самому множеству;

· второе: известное счетное множество натуральных чисел N=0,1,2,... является конечным множеством, имеющим мощность, равную предельному конечному числу N;

· третье: для любого множества существует как известное теоретико-множественное отношение "множество всех подмножеств 2M", так и обратное ему информационно-субстратное отношение "log2M";

· четвертое: начальным бесконечным множеством является множество, имеющее мощность, равную начальному бесконечному кардиналу ω0=ω.

С первыми тремя положениями мы уже разобрались. Осталось рассмотреть четвертое – какой объект является начальным бесконечным множеством? Этот объект имеет онтологические основания и, в общем-то, знаком и известен. Он почему-то считается вторичным по отношению к стандартному счетному множеству. Получают его следующим образом. Обычно говорят: отложим на прямой x от точки "0" единичный отрезок с концом, обозначенным через "1", от точки "1" отложим еще один единичный отрезок с концом, обозначенным через "2", и так до бесконечности. Полученные таким образом точки на прямой геометрически иллюстрируют множество натуральных чисел (см., например, [14, с. 33-34]). На самом же деле первичным в знании являются не числа, а прямая, или одномерный континуум x. Он символизирует первосущную онтологическую бесконечность. Можно сказать, что это о ней говорил Архит Тарентский. Она есть актуальная бесконечность, но бесконечность континуальная, в отличие от бесконечности множественной. Вот ее-то, то есть прямую x, мы и принимаем в качестве начальной онтологической бесконечности, которую и обозначаем известным символом "∞", придавая ему таким образом статус определенности. Здесь нам достаточно ее понимания как бесконечной величины, или длины. Эта бесконечная величина единственна. Вот теперь, если мы отложим на прямой x единичный отрезок e и возьмем отношение ∞/e, то получим начальную теоретико-множественную бесконечность ω=∞/e. Это отношение есть актуальное разбиение актуальной прямой ∞ на ω конечных отрезков e. Оно несет в себе глубокий онтологический и гносеологический смысл отношения между актуальным бесконечным ∞ и актуальным конечным e, или просто – между конечным и бесконечным. Разбиение ω порождает многое из единого и это многое есть начальное актуальное бесконечное множество ω={e1,e2,...,eω}, состоящее из ω единичных отрезков e. Обо всем этом обстоятельно говорится в книге [11].

Апологию бесконечности мы завершим сопоставлением бесконечного ряда W всех порядковых чисел с нашим бесконечным числовым рядом Ω, являющимся развитием и углублением сущности ряда порядковых чисел.

Бесконечный ряд W порядковых чисел имеет вид:

W={0,1,2,3,...,n,...;

ω,ω+1,ω+2,ω+3,...,ω+n,...; ...; ω×n,ω×n+1,ω×n+2,ω×n+3,...,ω×n+n,...; ...

...; ω1,ω1+1,...; ω2,ω2+1,...; ...; ωω,ωω+1,...; ...}.

Его началом является уже рассматривавшаяся выше знаковая конструкция (6), или канторовский бесконечный ряд порядковых чисел. Он обладает уже упоминавшимися выше свойствами: за всеми конечными числами n следует наименьшее трансфинитное число ω, которое указывает также количество предшествующих ему конечных чисел. Само же число ω не имеет предшественника, то есть левого соседнего с ним числа ω-1. Любое бесконечное число вида ω, ω×n,ωn, ωω и т.д. является предельным и не имеет предшественника. Не имеют предшественников и все числа, кратные, если можно так сказать, начальной бесконечности ω. Это значит, что перед всеми этими числами есть "дырки". Говорят, что ряд W не имеет наибольшего бесконечного числа. Логически это то же самое, что говорить, что множество конечных чисел не имеет наибольшего конечного числа.

Бесконечный числовой ряд Ω, свободный от концептуальных противоречий, выглядит следующим образом:

Ω={0,1,2,...,N-1;

N,N+1,...,2N-1;;...; nN,nN+1,...,(n+1)N-1; ;...; 2N-N,2N-N+1,...,2N-1;

ω-=2N,ω-+1,ω-+2,...,ω-n-1,ω-n,ω-n+1,...,ω-1-1,ω-1,ω-1+1,...

...,ω0-1,ω0,ω0+1,...,ω1,...,ωi,...,ω+}.

Ряд Ω имеет фундаментальные отличия от ряда W. Во-первых, он не имеет никаких концептуальных противоречий. В частности, он прост по существу: на нем справедливы принципы классической логики и конечной арифметики. Во-вторых, его счетное множество является не бесконечным, а конечным. И в-третьих, ряд Ω не имеет в известном смысле не только наибольшего бесконечного числа, но и наименьшего бесконечного числа. Этот факт в ряде Ω отражен символами предельных бесконечностей: ω-– наименьшей и ω+– наибольшей бесконечностей. Его архитектура существенно отличается от архитектуры ряда W и заключается в том, что ряд Ω может быть разбит на пять классов:

-начальный класс, он же – счетное множество N=0,1,2,...,N-1 всех конечных чисел. Его кардинал N называется конечным числом Кагота. Кагот – герой повествования чукотского писателя Юрия Рытхэу [15] (Кагот искал числа, которые уже не конечные, но еще и не бесконечные, и считал, что тот, кто найдет их, будет счастлив и все узнает). О предельном числе Nздесь говорится, что оно не существует в канторовском смысле, то есть в том смысле, в каком говорится в известной теории множеств о несуществовании наибольшей бесконечности в ряде W;

-промежуточный класс чисел от N,N+1,N+2,... до 2N-1, который представляет собой числа, уже не являющиеся конечными, но и не являющиеся еще бесконечными. Называются они числами Кагота;

-класс малых бесконечных чисел от ω-=2N,ω-+1,ω-+2,... до ω0-1. Наименьшее бесконечное число ω- называется бесконечным числом Кагота. О его несуществовании говорится в том же смысле, что и о несуществовании числа N;

-начальное бесконечное число ω=ω0=∞/e. Оно является онтологическим основанием всех бесконечных кардинальных чисел – и больших ω1,ω2,..., и малых ω-1,ω-2,...;

-класс больших бесконечных чисел от ω+1,ω+2,... до наибольшего кардинала ω+, о несуществовании которого говорится то же, что и о несуществовании чисел N и ω-.

Рекомендуем скачать другие рефераты по теме: международный реферат, доклад по биологии.



Предыдущая страница реферата | 1  2  3 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки