Математика. Утрата определенности. - Клайн Морис
0/0

Математика. Утрата определенности. - Клайн Морис

Уважаемые читатели!
Тут можно читать бесплатно Математика. Утрата определенности. - Клайн Морис. Жанр: Математика. Так же Вы можете читать полную версию (весь текст) онлайн книги без регистрации и SMS на сайте Knigi-online.info (книги онлайн) или прочесть краткое содержание, описание, предисловие (аннотацию) от автора и ознакомиться с отзывами (комментариями) о произведении.
Описание онлайн-книги Математика. Утрата определенности. - Клайн Морис:
Книга известного американского математика, профессора Нью-Йоркского университета М. Клайна, в яркой и увлекательной форме рисующая широкую картину развития и становления математики от античных времен до наших дней. Рассказывает о сущности математической науки и ее месте в современном мире. Рассчитана на достаточно широкий круг читателей с общенаучными интересами.

Аудиокнига "Математика. Утрата определенности."



📚 "Математика. Утрата определенности" - это увлекательное путешествие в мир математики, наполненное загадками и неожиданными открытиями. Главный герой книги, *Морис Клайн*, расскажет вам о том, как математика помогает нам понять окружающий мир и какие тайны скрывает в себе каждая формула.



В этой аудиокниге вы найдете ответы на множество вопросов, которые касаются математики, ее истории и применения в современном мире. *Морис Клайн* проведет вас через лабиринты чисел и символов, раскроет перед вами тайны геометрии и алгебры, поможет понять, как математика влияет на нашу повседневную жизнь.



🎧 Сайт knigi-online.info предлагает вам возможность бесплатно и без регистрации слушать аудиокниги онлайн на русском языке. Здесь собраны бестселлеры и лучшие произведения различных жанров, включая *Математику. Утрата определенности* Мориса Клайна.



Об авторе:


🖋 *Морис Клайн* - известный математик, преподаватель и популяризатор науки. Его книги о математике стали бестселлерами благодаря ясному изложению сложных тем и увлекательному стилю. Клайн прославился своими работами по истории математики и ее философским аспектам.



Не упустите возможность окунуться в увлекательный мир математики вместе с аудиокнигой *Математика. Утрата определенности.* Слушайте и погружайтесь в мир знаний!



🔗 Ссылка на категорию аудиокниги: Математика

Читем онлайн Математика. Утрата определенности. - Клайн Морис

Шрифт:

-
+

Интервал:

-
+

Закладка:

Сделать
1 ... 69 70 71 72 73 74 75 76 77 ... 136

IX

Изгнание из рая: новый кризис оснований математики

В математике нет настоящих противоречий.

Гаусс

Логика — это искусство уверенно совершать ошибки.

Неизвестный автор

Итак, после многовековых блужданий в тумане математикам как будто бы удалось к началу XX в. придать своей науке ту идеальную структуру, которая была декларирована Аристотелем и, казалось, осуществлена Евклидом в его «Началах». Математики наконец-то полностью осознали необходимость неопределяемых понятий; определения были очищены от неясных или вызывавших какие-либо возражения терминов; некоторые области математики были построены на строгой аксиоматической основе; на смену умозаключениям, опиравшимся на интуитивные соображения или эмпирические данные, пришли надежные, строгие, дедуктивные доказательства. Даже законы логики были расширены настолько, что охватывали теперь те типы рассуждений, которые ранее математики использовали неформально и порой неявно, хотя, как показывал опыт, эти рассуждения всегда приводили к правильным результатам. Как уже говорилось, в начале XX в. у математиков были поводы торжествовать. Но пока они праздновали свои победы, уже назревали события, которые в дальнейшем лишили математиков покоя в гораздо большей степени, чем создание неевклидовой геометрии и кватернионов в первой половине XIX в. По меткому замечанию Фреге, «едва здание было достроено, как фундамент рухнул».

Случившееся нельзя было считать полной неожиданностью: еще Гильберт обратил внимание математиков на то, что некоторые проблемы в основаниях математики оставались нерешенными (гл. VIII). Самой важной из этих проблем, по мнению Гильберта, была проблема установления непротиворечивости тех или иных аксиоматизируемых разделов математики. Гильберт отчетливо понимал, что аксиоматический метод базируется на исходном списке неопределяемых понятий, а также аксиом, которым эти понятия должны удовлетворять. Интуитивно смысл всех фигурирующих в математической теории понятий и аксиом был вполне ясен. Такие математические понятия, как точка, прямая и плоскость, имеют вполне конкретные физические аналоги, а аксиомы евклидовой геометрии содержат некоторые физически ясные утверждения, касающиеся этих понятий. Тем не менее, как подчеркивал Гильберт, абстрактная, чисто логическая схема евклидовой геометрии не требует, чтобы понятия точки, прямой и плоскости были привязаны к какой-то одной, например «физической», интерпретации. Что же касается аксиом, то их формулируют, вкладывая в них как можно меньше, с тем чтобы извлечь из них возможно больше. И хотя аксиомы принято формулировать так, чтобы их физический смысл не вызывал сомнений, тем не менее существует опасность, что сформулированные даже самым тщательным образом аксиомы могут оказаться противоречивыми, т.е. привести к противоречию. Паш, Пеано и Фреге сознавали эту опасность, и в своем докладе на II Международном математическом конгрессе 1900 г. Гильберт также обратил внимание математиков на это обстоятельство.

Слабости абстрактной формулировки понятий, отношений и фактов, заимствованных из физической реальности, можно проиллюстрировать на таком примере, конечно весьма грубо отражающем суть дела. Представим себе, что было совершено какое-то преступление (многие, возможно, согласились бы с тем, что математика — это преступление). Следователь, которому поручено раскрыть преступление, располагает неопределяемыми понятиями: преступник, время совершения преступления и т.д. Все обнаруживаемые в ходе следствия факты следователь скрупулезно записывает. Это его аксиомы. Затем следователь начинает делать логические выводы в надежде, что это позволит ему выдвинуть какие-то версии. Весьма вероятно, что его выводы, хотя они и основаны на правдоподобных предположениях относительно происходивших событий, окажутся противоречивыми, так как исходные предположения либо не соответствуют подлинным событиям, либо недостаточно точно их отражают. В реальной же (физической) ситуации никаких противоречий нет и быть не может. Было совершено преступление, был преступник. Но логические выводы могут привести следователя, скажем, к заключению, что преступник одновременно и низкого роста (около 1,5 м), как следует из анализа следов преступления, и высокого роста (около 1,8 м), как показывает кто-то из свидетелей.

Вряд ли математики сочли бы ключевой проблемой доказательство непротиворечивости нескольких аксиоматических структур, если бы не дальнейшее развитие событий. К началу XX в. математики отчетливо сознавали, что в вопросах непротиворечивости они не могут полагаться на «физическую реализуемость» математики. Ранее, когда евклидова геометрия считалась геометрией реального физического пространства, мысль о том, что непрерывная дедуктивная цепочка теорем может когда-нибудь привести к противоречию, казалась дикой. Но к началу XX в. стало ясно, что евклидова геометрия представляет собой лишь логическую структуру, возведенную на фундаменте из примерно двадцати аксиом, не данных нам богом или природой, а сформулированных человеком. В такой системе вполне могли быть и противоречащие друг другу теоремы. Подобное открытие обесценивало многое из того, что было достигнуто ранее: достаточно было где-нибудь оказаться двум взаимно исключающим теоремам, как их могли использовать для доказательства новых противоречий и полученные в таком случае новые теоремы не имели бы смысла. Гильберт отверг столь страшную возможность, доказав, что евклидова геометрия непротиворечива, если непротиворечива логическая структура арифметики, т.е. система вещественных чисел. Предложенное Гильбертом доказательство в тот период еще не вызывалось насущной необходимостью и потому не привлекло особого внимания математиков (гл. VIII).

Но к всеобщему ужасу в самом начале XX в. противоречия были обнаружены в теории, лежащей в основе наших представлений о числе и далеко простирающейся за пределы арифметики. К 1904 г. выдающийся математик Альфред Принсхейм (1850-1914) имел все основания утверждать, что истина, поиском которой занимается математика, — это не больше и не меньше как непротиворечивость. И когда в работе 1918 г. Гильберт вновь подчеркнул важность проблемы непротиворечивости, у него были теперь для этого гораздо более веские доводы, чем в 1900 г.

Новой теорией, которая привела к противоречиям и открыла многим глаза на противоречия, существовавшие в более старых областях математики, была теория бесконечных множеств.Наведение математической строгости в анализе привело к необходимости учитывать различие между сходящимися(т.е. имеющими конечную сумму) и расходящимисябесконечными рядами. Некоторые из таких рядов, например бесконечные ряды тригонометрических функций, названные рядами Фурье— в честь активно использовавшего их Жозефа Фурье, стали играть важную роль и при попытке строгого обоснования анализа породили немало проблем. К решению этих проблем и приступил Георг Кантор (1845-1918). Логика исследования привела его к рассмотрению теории числовых множеств, в частности к введению мощностей таких бесконечных множеств, как множество всех нечетных чисел, множество всех рациональных чисел (включающее в себя положительные и отрицательные целые числа, а также дроби) и множество всех вещественных чисел.

Кантор порвал с многовековой традицией уже тем, что рассматривал бесконечные множества как единые сущности, притом сущности, доступные человеческому разуму. Начиная с Аристотеля математики проводили различие между актуальной бесконечностьюобъектов и потенциальной бесконечностью.Чтобы пояснить эти понятия, рассмотрим возраст Вселенной. Если предположить, что Вселенная возникла в какой-то момент времени в далеком прошлом и будет существовать вечно, то ее возраст потенциально бесконечен: в любой момент времени возраст Вселенной конечен, но он продолжает возрастать и в конце концов превзойдет любое число лет. Множество (положительных) целых чисел также потенциально бесконечно: оборвав счет, например, на миллионе, мы всегда можем затем прибавить к нему 1, 2 и т.д. Но если Вселенная существовала в прошлом всегда, то ее возраст в любой момент времени актуально бесконечен. Аналогично множество целых чисел, рассматриваемое в «готовом виде» как существующая совокупность, актуально бесконечно.

1 ... 69 70 71 72 73 74 75 76 77 ... 136
На этой странице вы можете бесплатно читать книгу Математика. Утрата определенности. - Клайн Морис бесплатно.
Похожие на Математика. Утрата определенности. - Клайн Морис книги

Оставить комментарий

Рейтинговые книги