Парадокси теорії множин
Слово «парадокс «грецького походження і перекладається українською мовою — несподіваний, дивний. Вживають це слово у відношенні до висловлювання (положення, ідеї), яке суттєво різниться від загальноприйнятого традиційного уявлення з даного приводу. Вживання терміна «парадокс «стосовно до тих суперечностей, які були виявлені різними математиками в теорії множин Г. Кантора, є наївною спробою… Читати ще >
Парадокси теорії множин (реферат, курсова, диплом, контрольна)
Реферат на тему:
Парадокси теорії множин.
Слово «парадокс «грецького походження і перекладається українською мовою — несподіваний, дивний. Вживають це слово у відношенні до висловлювання (положення, ідеї), яке суттєво різниться від загальноприйнятого традиційного уявлення з даного приводу. Вживання терміна «парадокс «стосовно до тих суперечностей, які були виявлені різними математиками в теорії множин Г. Кантора, є наївною спробою зменшити їхнє значення і надати їм характеру логічних курйозів, штучних, неприродних конструкцій. Більш точно суть явища передає назва, «антиномії теорії множин », оскільки термін антиномія є синонімом терміна суперечність. Але за традицією, будемо називати сформульовані нижче положення парадоксами.
Парадокс Б.Рассела. Для будь-якої множини M коректним є питання: чи множина M належить собі як окремий елемент, тобто чи є множина M елементом самої себе, чи ні? Наприклад, множина всіх множин є множиною і тому належить сама собі, а множина всіх будинків у місті не є будинком, множина студентів в аудиторії не є студентом.
Отже коректно поставити сформульоване питання і щодо множини всіх множин, які не будуть власними елементами. Нехай M — множина всіх тих множин, що не є елементами самих себе. Розглянемо питання: а сама множина M є елементом самої себе чи ні? Якщо припустити, що M (M, то з означення множини M випливає M (M. Якщо ж припустимо, що M (M, то з того ж таки означення дістанемо M (M.
Близьким до парадокса Рассела є так званий «парадокс цирульника »: цирульник — це мешканець міста, який голить тих і тільки тих мешканців міста, які не голять самі себе. Проводячи міркування, аналогічні тим, що були зроблені в парадоксі Рассела, дійдемо висновку, що цирульник голить себе в тому і тільки в тому випадку, коли цирульник не голить сам себе.
А от парадокс, що був відомий самому автору теорії множин Г. Кантору. Розглянемо об'єднання всіх мислимих множин і позначимо його U. Тоді за теоремою 1.8 потужність множини ((U) всіх підмножин множини U має більшу потужність, ніж сама множина U. Однак це парадоксально, оскільки за означенням множина U є множиною, яка містить всі множини (зокрема, і множину ((U)).
Багато хто з математиків на початку ХХ ст. не надавали цим парадоксам особливого значення, оскільки в той час теорія множин була відносно новою галуззю математики і не зачіпала інтересів більшості математиків. Однак їхні більш відповідальні та проникливі колеги зрозуміли, що виявлені парадокси стосуються не тільки теорії множин і побудованих на ній розділів класичної математики, але мають безпосереднс відношення до логіки взагалі, тобто до головного інструменту математики.
Зокрема, парадокс Рассела може бути переформульований в термінах логіки і таким чином доданий до відомих з давніх часів логічних парадоксів (парадокса брехуна, парадокса всемогутньої істоти тощо).
Гостро постало питання про обгрунтування засад математики. На початку ХХ ст. виникли три основні напрямки досліджень з обгрунтування сучасної математики. Коротко подамо суть кожного з цих напрямків.
1. Логіцизм. Основною тезою логіцизму є положення, що першоосновою математики є логіка, а математика — це лише частина логіки. Тобто всі математичні істини складають власну підмножину множини всіх логічних істин.
E.
i.
E.
/ і Б. Рассела «Принципи математики », яка вийшла на початку другого десятиріччя ХХ ст.
Незважаючи на те, що в рамках логіцизму проблема обгрунтування математики не була остаточно розв «язана, все ж було зроблено чимало для з «ясування деяких важливих сторін логічної структури математики.
2. Iнтуїціонізм. Основними засадами інтуїціонізму є такі принципи:
1) В основу математики кладеться поняття натурального числа, причому система натуральних чисел вважається інтуїтивно відомою.
2) Усі інші математичні об'єкти будуються на основі натуральних чисел суто конструктивно за допомогою скінченного числа застосувань скінченної кількості конкретних операцій.
Доведення існування математичного об'єкта зводиться до побудови конкретного алгоритму, тобто визнаються лише конструктивні доведення існування математичних об'єктів. Зокрема, не визнається доведення існування математичних об'єктів методом від супротивного.
3) Закон виключеного третього незастосований до нескінченних множин. (Закон виключеного третього — це логічна аксіома, за якою з двох тверджень «A «і «не A «тільки одне є істинним).
4) Визнається абстракція потенційної нескінченності і відкидається абстракція актуальної нескінченності.
Обгрунтування математики в рамках інтуіціонізму натрапляє на дві основні перешкоди: значну частину важливих розділів математики не вдається побудувати засобами інтуїціонізму, або ж така побудова має досить громіздкий і штучний вигляд, який не задовольняє переважну більшість як математиків-теоретиків, так і практиків.
Подальшим кроком у розвитку інтуїціонізму є конструктивний напрям (або конструктивізм), який розвивається на основі уточненого поняття алгоритму.
3. Формалізм. Засновником формалізму вважають Д. Гільберта. Цей напрям є дальшим поглибленням аксіоматичного методу в математиці. Основою будь-якої аксіоматичної теорії є список неозначуваних (первинних) понять і список аксіом, тобто положень, які приймаються за вихідні і істинність яких початково декларується. Додатково означаються логічні правила, за допомогою яких з одних тверджень (зокрема, з аксіом) дістають інші.
Гільберт і його послідовники вважали, що кожен розділ математики можна повністю формалізувати, тобто за допомогою формальних виразів (формул) подати всі аксіоми, а всі математичні (логічні) доведення звести до суто формальних перетворень над формулами.
Саме на основі ідей формалізму Е. Цермело у 1908 році побудував першу формальну аксіоматичну теорію множин (так звану систему Цермело-Френкеля, або ZF). Пізніше було запропоновано багато видозмін і вдосконалень ZF та інших аксіоматичних теорій множин.
Якщо проаналізувати всі парадокси теорії множин, то можна зробити висновок, що всі вони обумовлені необмеженим застосуванням так званого принципу абстракції (або принципу згортання), згідно з яким для будь-якої властивості P (x) існує відповідна множина елементів x, які мають властивість P (x). Якщо відкинути це припущення, то всі відомі парадокси теорії множин стають неможливими. Так з парадоксів Рассела і Кантора випливало б, що не існують множина множин, які не є елементами самих себе, і множина всіх множин.
В усіх існуючих аксіоматичних теоріях множин неможливість антиномій грунтується на обмеженнях принципу згортання.
PAGE 41.