Форма входа
0/0
Математика. Утрата определенности. - Клайн Морис
- Дата:06.10.2025
- Категория: Научные и научно-популярные книги / Математика
- Название: Математика. Утрата определенности.
- Автор: Клайн Морис
- Просмотров:0
- Комментариев:0
Уважаемые читатели!
Тут можно читать бесплатно Математика. Утрата определенности. - Клайн Морис. Жанр: Математика. Так же Вы можете читать полную версию (весь текст) онлайн книги без регистрации и SMS на сайте Knigi-online.info (книги онлайн) или прочесть краткое содержание, описание, предисловие (аннотацию) от автора и ознакомиться с отзывами (комментариями) о произведении.
Описание онлайн-книги Математика. Утрата определенности. - Клайн Морис:
Книга известного американского математика, профессора Нью-Йоркского университета М. Клайна, в яркой и увлекательной форме рисующая широкую картину развития и становления математики от античных времен до наших дней. Рассказывает о сущности математической науки и ее месте в современном мире. Рассчитана на достаточно широкий круг читателей с общенаучными интересами.
Аудиокнига "Математика. Утрата определенности."
📚 "Математика. Утрата определенности" - это увлекательное путешествие в мир математики, наполненное загадками и неожиданными открытиями. Главный герой книги, *Морис Клайн*, расскажет вам о том, как математика помогает нам понять окружающий мир и какие тайны скрывает в себе каждая формула.
В этой аудиокниге вы найдете ответы на множество вопросов, которые касаются математики, ее истории и применения в современном мире. *Морис Клайн* проведет вас через лабиринты чисел и символов, раскроет перед вами тайны геометрии и алгебры, поможет понять, как математика влияет на нашу повседневную жизнь.
🎧 Сайт knigi-online.info предлагает вам возможность бесплатно и без регистрации слушать аудиокниги онлайн на русском языке. Здесь собраны бестселлеры и лучшие произведения различных жанров, включая *Математику. Утрата определенности* Мориса Клайна.
Об авторе:
🖋 *Морис Клайн* - известный математик, преподаватель и популяризатор науки. Его книги о математике стали бестселлерами благодаря ясному изложению сложных тем и увлекательному стилю. Клайн прославился своими работами по истории математики и ее философским аспектам.
Не упустите возможность окунуться в увлекательный мир математики вместе с аудиокнигой *Математика. Утрата определенности.* Слушайте и погружайтесь в мир знаний!
🔗 Ссылка на категорию аудиокниги: Математика
Читем онлайн Математика. Утрата определенности. - Клайн Морис
Шрифт:
-
+
Интервал:
-
+
Закладка:
Сделать
Наиболее важное отношениемежду высказываниями — отношение следования, или импликация, означающая, что из истинности одного элементарного высказывания вытекает истинность другого. {112}В работе Рассела и Уайтхеда импликация обозначается символом 
; при этом под записью (импликацией) p q(« pвлечет q» или «из pследует q») они понимают примерно то же, что Фреге понимал под материальной импликацией (гл. VIII): утверждение « pвлечет q» (из pследует q) означает, что если pистинно, то и qобязано быть истинным, а если pложно, то qможет быть истинно или ложно, т.е. из ложного высказывания следует все что угодно. Такое понятие следования (импликации) высказываний, по крайней мере в некоторых случаях, представляется вполне естественным. Например, если верно, что a— четное число, то и число 2aдолжно быть четным. Но если не верно, что a— четное число, то 2aможет быть как четным, так и нечетным (в случае, если aне целое, скажем дробное, число). Иначе говоря, если высказывание « a— четное число» ложно, то из него может следовать любое заключение.
Разумеется, для того чтобы выводить логические теоремы,необходимо перечислить аксиомылогики. Приведем примеры нескольких таких аксиом:
A)Любое следствие истинного элементарного высказывания {113}является истинным.
B)Если истинно высказывание «истинно pили q», то pистинно.
C)Если qистинно, то « pили q» истинно.
D)Высказывание « pили q» влечет за собой высказывание « qили p».
E)Из « pили ( qили r)», следует « qили ( pили r)».
Сформулировав аксиомы, Рассел и Уайтхед приступили к выводу теорем логики. Обычные правила силлогистики Аристотеля (см., например, [58] и [59]) вошли в систему «Оснований математики» как теоремы.
Чтобы лучше понять, каким образом логика была формализована и сделана дедуктивной, рассмотрим несколько первых теорем из «Оснований математики» Рассела и Уайтхеда. Одна из теорем утверждает: если из предположения об истинности высказывания pследует, что pложно, то pложно. Это не что иное, как принцип reductio ad absurdum(приведения к абсурду, основа доказательства от противного). Другая теорема гласит: если rследует из q,то при условии, что qследует из p, rследует из p.(Это один из силлогизмов Аристотеля.) Основная теорема начальной части «Оснований математики» — принцип исключенного третьего: если p— любое высказывание, то pлибо истинно, либо ложно.
Построив логику высказываний, авторы приступили к пропозициональным функциям. Последние представляют собой классы, или множества: вместо того чтобы называть элементы класса «поштучно», пропозициональная функция указывает их отличительное свойство. Например, пропозициональная функция « xкрасный» задает множество всех красных предметов. Такой способ задания класса позволяет определять бесконечные множества с такой же легкостью, как и конечные. Определение класса по отличительному признаку называется интенсиональным(или дискретным) в отличие от экстенсиональных (прямых)определений, перечисляющих элементы множества.
Рассел и Уайтхед, разумеется, стремились избежать парадоксов, возникающих в тех случаях, когда определяемое множество содержит само себя в качестве элемента. Эту проблему они разрешили, введя требование: «То, что содержит все элементы множества, не должно быть элементом того же множества». Чтобы удовлетворить этому требованию, Рассел и Уайтхед ввели теорию типов.
Хотя сама теория типов довольно сложна, в основе ее лежит простая идея. Индивидуумы, например Джон или какая-то вполне конкретная книга, имеют тип 0. Любое утверждение о свойстве индивидуума имеет тип 1. Всякое утверждение о свойстве свойства индивидуума имеет тип 2 и т.д. Каждое утверждение принадлежит более высокому типу, чем те, о которых в нем что-то утверждается. На языке теории множеств суть теории типов можно было бы сформулировать так: индивидуальные объекты принадлежат типу 0, множество индивидуальных объектов — типу 1, множество множеств индивидуумов — типу 2 и т.д. Так, если aпринадлежит b,то bдолжно быть более высокого типа, чем a.Кроме того, нельзя говорить о множестве, принадлежащем самому себе. При переходе к пропозициональным функциям теория типов становится несколько сложнее. Ни один из аргументов пропозициональной функции (ни одно из значений входящих в нее переменных) не должен определяться через саму функцию. Если это требование соблюдено, то функция считается принадлежащей к более высокому типу, чем входящие в нее переменные. Рассмотрев на основе теории типов все известные парадоксы, Рассел и Уайтхед показали, что теория типов позволяет их избегать.
Это несомненное достоинство теории типов (то, что она позволяет избегать противоречий) станет более наглядным, если воспользоваться следующим нематематическим примером. Рассмотрим парадокс, связанный с высказыванием «Из всех правил есть исключения» (гл. IX). Это высказывание относится ко всякого рода конкретным правилам, например к правилу «Во всех книгах имеются опечатки». При обычной интерпретации высказывание «Из всех правил есть исключения» применимо и к самому высказыванию, вследствие чего возникает противоречие. Но в теории типов общее правило принадлежит к более высокому типу, и все, что в нем утверждается о конкретных правилах, к нему самому неприменимо. Следовательно, из общего правила исключений может не быть.
Аналогичным образом гетерологический парадокс (слово называется гетерологическим, если оно неприменимо к самому себе) есть не что иное, как определение всех гетерологических слов, и поэтому принадлежит к более высокому типу, чем любое гетерологическое слово. Следовательно, вопрос о том, гетерологично ли само прилагательное «гетерологический», попросту неправомерен.
В рамках теории типов находит свое решение и парадокс лжеца. Рассел излагает это решение следующим образом. Высказывание «Я лгу» означает «Существует утверждение, которое я высказываю, и оно ложно», или «Я высказываю утверждение p,и pложно». Если pпринадлежит к n-му типу, то утверждение относительно pпринадлежит к более высокому типу. Следовательно, если утверждение относительно pистинно, то само pложно, и если утверждение относительно pложно, то pистинно. Никакого противоречия не возникает. Аналогичным образом теория типов разрешает и парадокс Ришара: суть решения сводится к тому, что высказывание более высокого типа содержит некое утверждение о высказывании более низкого типа.
Ясно, что теория типов предполагает тщательную классификацию высказываний по типам. Но если попытаться положить теорию типов в основу строгого обоснования математики, то все построения становятся чрезвычайно сложными. Например, в «Основаниях математики» Рассела и Уайтхеда два предмета aи bсчитаются равными, если любое высказывание или любая пропозициональная функция, применимые к a(или истинные для a), применимы к bи наоборот. Но различные высказывания принадлежат, вообще говоря, к различным типам. Следовательно, понятие равенства становится необычайно сложным. Аналогичные трудности возникают и в связи с понятием числа: так как иррациональные числа определяются через рациональные, а рациональные — через положительные целые числа, то иррациональные числа принадлежат к более высокому типу, чем рациональные, а те в свою очередь — к более высокому типу, чем целые числа. Система вещественных чисел оказывается состоящей из чисел различных типов. Следовательно, вместо того чтобы сформулировать одну теорему для всех вещественных чисел, мы должны формулировать теоремы для каждого типа в отдельности, поскольку теорема, применимая к одному типу, автоматически на другой тип не переносится.
На этой странице вы можете бесплатно читать книгу Математика. Утрата определенности. - Клайн Морис бесплатно.
Похожие на Математика. Утрата определенности. - Клайн Морис книги
- Современная философия – жертва неадекватного перевода западных философов - Иван Деревянко - Науки: разное
- Хочу, чтоб стало по-другому… - Д. Ман - Русская современная проза
- Из туземных хижин в музеи мира. Морис Стерн - Елена Мищенко - Биографии и Мемуары
- Элен и ребята. Часть вторая - Луи Бардо - Короткие любовные романы
- Апология математика - Годфри Гарольд Харди - Биографии и Мемуары / Математика / Науки: разное
