Феномен науки. Кибернетический подход к эволюции

         

В теории множеств были обнаружены


Но тут разражается знаменитый «кризис основ» математики, продолжавшийся в течение трех десятилетий. В теории множеств были обнаружены «парадоксы», т. е. построения, приводящие к противоречиям. Первый парадокс обнаружил Бурали-Форти в 1897 г., затем появилось еще несколько. Мы приведем в качестве примера парадокс Рассела (1905 г.), который можно изложить, опираясь лишь на первичные понятия теории множеств и не нарушая в то же время требований математической строгости. Парадокс этот таков. Определим M как множество всех тех множеств, которые не содержат себя в качестве элемента. Казалось бы, это определение вполне законно, ибо образование множеств из множеств — одна из основ теории Кантора. Между тем оно приводит к противоречию. Чтобы сделать его более ясным, обозначим через Р(х) свойство множества х быть элементом самого себя. В символической форме

P(x) ? x ? x. (12.1)

Тогда по определению множества М все его элементы х обладают свойством, противоположным Р(х):

x ? M ? ¬P(x). (12.2)

Теперь поставим вопрос: является ли само множество M своим элементом, т. е. истинно ли P(M)? Если P(M) истинно, то M ? M, согласно определению (12.1). Но в таком случае, подставляя M вместо х в утверждение (12.2), мы получаем ¬P(M). Если M входит в множество M, то по определению последнего оно не должно обладать свойством P. И напротив, если P(M) ложно, т. е. имеет место P(M), то согласно (12.2) М должно входить в M, т. е. Р(М) истинно. Таким образом, P(M) не может быть ни истинным, ни ложным. С точки зрения формальной логики мы доказали две импликации:

P(M) ? ¬P(M), ¬P(M) ? P(M).

Если выразить импликацию через отрицание и дизъюнкцию и воспользоваться свойством дизъюнкции A ? A ? A, то первое высказывание превратится в ¬P(M), а второе — в P(M). Мы получили формальное противоречие и, следовательно, из теории множеств можно вывести что угодно.

Парадоксы создали угрозу для теории множеств и основанного на ней математического анализа; возникло несколько философско-математических направлений, предлагавших различные выходы из тупика.

Содержание  Назад  Вперед







Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий