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

         

Формализация теории множеств


Понятие совокупности, или множества, принадлежит к числу фундаментальнейших понятий, данных нам природой, и предшествует понятию числа. В своем первичном виде оно не дифференцируется на понятие конечного и бесконечного множеств, однако, эта дифференциация появляется весьма рано; во всяком случае, в древнейших письменных памятниках мы уже находим понятие о бесконечности и бесконечном множестве. Это понятие использовалось в математике испокон веков, оставаясь чисто интуитивным и само собой разумеющимся, и не подвергаясь специальному рассмотрению, пока Георг Кантор (1845-1918) не создал в 70-х годах свою теорию множеств, которая вскоре легла в основу всей математики. Понятие множества (конечного и бесконечного) остается у Кантора по-прежнему интуитивным, он определяет его следующим образом: «Под множеством понимают объединение в одно целое объектов, хорошо различимых нашей интуицией и нашей мыслью». Это «определение» является, конечно, не в большей степени математическим определением, чем «определение» Евклида «точка есть то, что не имеет частей». Но, несмотря на столь нечеткие исходные позиции, Кантор (опять-таки подобно греческим геометрам) создал стройную и логически последовательную теорию, с помощью которой ему удалось привести в замечательный порядок основные понятия и доказательства математического анализа. («Просто поразительно, — пишет Н.Бурбаки, — какую четкость постепенно приобретают у него понятия, которые, казалось, были безнадежно запутаны в классической концепции континуума».) С теорией множеств математики получили единообразный метод создания новых понятий — конструктов и доказательства их свойств. Так, например, действительное число есть множество всех последовательностей рациональных чисел, имеющих предел; отрезок действительной прямой — множество действительных чисел; функция — множество пар (x, f), где х и f — действительные числа.

К концу XIX в. теория множеств Кантора получает признание и естественным образом сочетается с аксиоматическим методом.

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







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