(200) См. выше с. 46. (201) Как мы видели (см. выше примечание 32), существуют бесконечные множества различных «размеров» (называемые «кардинальными числами»). Самое маленькое кардинальное число, «исчислимое», — это число множества целых чисел. Другое, более крупное — это «кардинальное число непрерывности», то есть множества действительных чисел. Гипотеза непрерывности, введенная Кантором, утверждает, что не существует «промежуточного» кардинального числа между исчислимым и непрерывным. В 1964 году Коген доказал, что эта гипотеза независимая от других аксиом теории множеств, то есть то, что ни она, ни ее отрицание недоказуемы посредством этих аксиом. (202) Заметим, впрочем, что эта «математика» не имеет большого смысла. 12. Эпилог * (202) У нас нет определенного мнения по поводу постмодернизма в искусстве, архитектуре или литературе. (203) В ходе одной дискуссии кто-то из философов назвал одного из нас «современным фундаменталистом». Эта характеристика нас скорее позабавила, чем обидела, но она не характеризует в действительности нашу позицию. (204) Это выражение впервые ввел, кажется, Эндрю Росс, один из издателей журнала Социальный Текст (Росс 1995); затем оно стало заголовком специального номера этого журнала, в котором появилась пародия. В Европе Изабелла Стингерс использовала его в качестве названия первого тома ее книги Космополитики (1996). (205) Смотрите Фейерабенд (1979), с. 348. (206) Это не означает, что они не претерпят глубоких изменений, как это произошло с химией. (207) Как положительные примеры такого обращения можно привести работы Альберта (1992) и Модлена (1994) об основаниях квантовой механики. (208) Возьмем лишь несколько примеров: Фейнман (1980) в физике, Давкинс (1989) в биологии и Пинкер (1995) в лингвистике. Мы не обязательно согласны со всеми утверждениями этих авторов, но рассматриваем их как образец ясности. (209) Сходный комментарий у Ноама Хомского в книге Барского (1997, с. 197–198) (210) Мы не хотели бы быть столь пессимистичны, но вспоминается конец сказки о новом платье короля: «А камергеры шли следом и несли шлейф, которого не было». (211) Например, одна наша знакомая социолог спросила, не без умысла: не является ли противоречием утверждение о «непрерывном» и «конечном и однозначном» характере квантовой механики? (Имеются в виду условия волновой функции — основной характеристики состояния микрообъектов — прим. перев.) Не являются ли эти свойства противоположными по отношению друг к другу? Краткий ответ заключается в том, что эти свойства характеризуют квантовую механику в очень специальных смыслах — для этого нужны знания математической теории — и в этих-то смыслах эти понятия не являются противоречивыми. — 203 —
|