Даже внутри математики (и логики) теория множеств столкнулась с серьезными препятствиями. Континуум-гипотеза не была доказана. В лице аксиомы-выбора выступило еще одно утверждение, которое нельзя было ни доказать, ни опровергнуть в рамках теории множеств стандартного типа. Эта аксиома была необходима для доказательства многих важных положений математического анализа. Замена ее на другую приводила к построению довольно экзотических математик. Обнаружилось, что отнюдь не
Автор: | Владимир Катасонов |
Издательство: | ЦЕНТР УЧЕБНОЙ И НАУЧНО-ПРОСВЕТИТЕЛЬСКОЙ ЛИТЕРАТУРЫ – ПОЗНАНИЕ |
Серия: | |
Жанр произведения: | Биология |
Год издания: | 2017 |
isbn: | 978-5-906960-06-1 |
того мнения, что у нас все еще отсутствует соответствующее строго математическое вспомогательное средство, с помощью которого было бы возможно в определенной мере войти внутрь природных процессов с целью тщательного рассмотрения их не извне, а изнутри, чтобы потом дать их более точное, чем прежде, описание…»[41]. Для применения теории множеств нужно представить материю состоящей из однородных элементов. Кантор называет их вслед за Лейбницем единицами, или монадами. Однако, в отличие от Лейбница, никакой духовной жизни у этих монад не предполагается. Из этих однородных монад – элементов Кантор хочет получить физические, химические, а, возможно, и биологические свойства веществ, применяя исключительно конструкции своей теории множеств. Например, в соответствии с физикой своего времени он рассматривает два типа материи: телесную и эфирную. «С этой точки зрения в качестве первого вопроса, до которого, однако, не додумались ни Лейбниц, ни более поздние ученые, возникает такой: какие мощности соответствуют этим двум материям в отношении их элементов, когда они рассматриваются как множества телесных, соответственно, эфирных монад? В этой связи я уже давно выдвинул гипотезу, что мощность телесной материи – это та, которую я называю в своих исследованиях первой, но что, напротив, мощность эфирной материи является второй»[42]. Другими словами, мощность множества телесных монад есть, по Кантору, Х0 – мощность счетного множества, а мощность множества эфирных монад – Хр первое следующее за Х0 кардинальное число. Это предположение необходимо Кантору для реализации его чисто формального подхода к физике с помощью теории множеств. Претензии Кантора титаничны: он хочет осуществить тотальную аналитическую деструкцию всего: континуум пространства, материя, природа и человек, картины и симфонии – все должно быть рассыпано в «песок» бескачественных элементов теории множеств. И обратно, всякая качественная определенность должна быть сведена к количественной в терминах канторовской бесконечной арифметики. Полезно еще раз подчеркнуть, что канторовские элементы ничего общего с лейбницевскими монадами не имеют. Элементы теории множеств – это абстрактные сущности. Тем самым Кантор пытался сложить конкретное из абстрактного, вычислить, так сказать, все сущее на листке бумаги… Дух этой титанической задачи все время витает над страницами канторовских сочинений, однако окончательного воплощения эти замыслы так и не получили…
41
Georg Cantor to Sophie Kowalevski. Dec. 7, 1884 //
42
О различных теоремах из теории точечных множеств. Сообщение второе. С. 168 //