Новости Словари Конкурсы Бесплатные SMS Знакомства Подари звезду
В нашей
базе уже
59876
рефератов!
Логин

Пароль

Об основаниях теории множеств

Об основаниях теории множеств.
Об основаниях теории множеств
П. Дж. Коэн

Но вот, невзирая на все эти оговорки, я чувствую некоторое воодушевление от возможности высказать свои мысли, надеюсь, не слишком догматично, и указать на обстоятельства, на которые, пожалуй, следует указать. Фундаментальные открытия в логике были сделаны так недавно, что мы ещё в состоянии разделять глубокое волнение от этих поисков вслепую. Всплеск исследовательской активности в теории множеств, о котором свидетельствует нынешняя встреча, возможно, усиливает наш энтузиазм. Тон сегодняшних философских дискуссий, однако, как будто изменился. Возможно, математики полностью выложились в неистовых спорах прошлого, или их аудитория утомилась от полемики, — как бы то ни было, сейчас принято формулировать свою точку зрения, но не пытаться тут же обращать слушателя в собственную веру. В этом духе собираюсь выступить и я, чистосердечно уверив слушателей в своей терпимости к чужим взглядам.
Хотя я не представляю себе, что можно было бы назвать «истинным» прогрессом в основаниях математики, очень интересно проследить с точки зрения историка, как высказывались на эту тему разные поколения, и попытаться угадать, как окрашивал их мнения дух времени. Сам я предпочитаю рассматривать математическую деятельность как сугубо человеческое предприятие, а отнюдь не как безличное наступление науки, свободной от всех человеческих слабостей. Так, позиция по вопросам оснований, которую занимает тот или иной математик, в большой мере определяется его воспитанием и окружением. Мне кажется, что желание принять принципы, ведущие к интересной и красивой математике, в прошлом безусловно преодолело разнообразную и серьёзную критику. В этом докладе я хотел бы указать на аналогичные тенденции, которые существуют сегодня.
Прежде в центре споров находились многие вопросы, о которых я без особых на то причин высказываться не стану, например, закон исключённого третьего. Хотя он и связан с проблемами теории множеств, скажем, через использование непредикативных определений, сам по себе он не относится к теории множеств и здесь обсуждаться не будет. Я не намерен заниматься также всеми остальными проблемами законности применения исчисления предикатов, вопросами о природе формализации математики и чисто философскими вопросами, мало связанными со спецификой математического знания. Для меня важнейшей проблемой представляется существование бесконечных совокупностей. Отношение к бесконечным множествам по традиции было критерием размежевания математиков. Знаменитые логические антиномии никогда не играли заметной роли в математике просто потому, что они не имели ничего общего с обычно используемыми рассуждениями. Никогда не рассматривались все мыслимые объекты универсума, длины описаний и т.п. Все эти трудности принадлежат, собственно, истории развития понятия формальной системы. Подобно этому, парадоксы Зенона вовсе не производят на нас впечатления демонстрации серьёзных трудностей, ради чего они и были придуманы. В общем, я склонен считать, что многие из этих проблем исторически связаны с переходным периодом от классической философии к нынешней математике.
Нет сомнения, что в ряде случаев бесконечными множествами можно пользоваться без особых опасений. Очевидно, всё равно, сказать ли, что некоторым свойством обладают все целые числа или все элементы множества целых чисел. Точно также, сказать, что n принадлежит множеству четных чисел, всё равно, что сказать «n чётное». Иными словами, можно заменить использование некоторых множеств названием соответствующих свойств. Если бы это удавалось сделать всегда, у нас осталось бы мало оснований для беспокойства. В теории чисел, желая избежать апелляции к понятию произвольного множества целых чисел, мы должны формулировать принцип индукции отдельно для каждого свойства, которое можно выразить. Однако чрезвычайная сложность теории множеств, особенно её непредикативный характер, мешают просто представлять себе множества как стенограмму свойств. Всё же самые мощные и характерные аксиомы теории множеств — аксиомы степени и подстановки — описывают множества свойствами, а гёделевская теория конструктивных множеств показывает, что некоторую модель теории множеств можно получить, рассматривая вообще только множества, в некотором смысле отвечающие свойствам. То обстоятельство, что аксиома подстановки есть на самом деле бесконечная схема аксиом, в определённых отношениях является недостатком. Действительно, создаётся впечатление, что мы позволяем рассматривать лишь некоторые свойства, вместо того чтобы указать фундаментальное описание способов построения множеств. Конечно, всё это связано с теоремой Гёделя о неполноте, согласно которой никакая конечно аксиоматизируемая система не может быть полной. Эта теорема является величайшим препятствием для любой попытки полностью понять природу бесконечных множеств. Одновременно, показывая, что высшие бесконечности отражаются в теории чисел, ибо позволяют нам доказывать недоказуемые без них утверждения, теорема Гёделя чрезвычайно затрудняет отстаивание той точки зрения, что высшие бесконечности можно попросту отвергнуть. Наша привычка к теореме о неполноте не должна мешать нам постоянно видеть эту фундаментальную недостаточность всех формальных систем, которая имеет гораздо более далеко идущие последствия, чем независимость частных утверждений вроде гипотезы континуума. Именно это лежит в основе моего пессимистического мнения о том, что любое техническое достижение и в будущем не прольёт света на основные философские проблемы.
Рядовому математику, желающему лишь увериться в том, что его дело стоит не на песке, самым привлекательным способом избежать трудностей может показаться программа Гильберта. С этой точки зрения математика есть формальная игра, в которой следует заботиться лишь о непротиворечивости. С течением времени, когда операционный подход распространился на другие области, скажем, физику, привлекательность этой позиции, возможно, увеличилась. Можно работать лишь с непосредственно данными объектами, а в математике к таким относятся скорее формальные языки, чем бесконечные множества. Действительно, гильбертовская программа формализации по-прежнему остаётся единственной вполне точной (мы не говорим правильной) точкой зрения в этих вопросах. Вот убедительный пример того, как само по себе течение времени мало повлияло на появление новых и оригинальных концепций в основаниях. Но, разумеется, формализму присущи свои трудности, и прежде чем вернуться к нему, мы рассмотрим его главную альтернативу, точку зрения, которую можно назвать платонизмом, а мы предпочтём называть реализмом.
Сторонник реалистической философии полностью принимает ценности традиционной математики. Все вопросы типа гипотезы континуума допускают положительный или отрицательный ответ в реальном мире безотносительно к их независимости от той или иной системы аксиом. Вероятно, боль
Умар.Ш. был тут !!!!!
 
давайте изгоним мат !!!
 
ДОБРОЙ НОЧИ ОТ Ъ
ЛОКИ ИНО
 
ДМК МЭ
 
где инфааа?