Читать статья по математике: "Теоремы софиста Горгия и современная математика" Страница 1

(Назад) (Cкачать работу)

Теоремы софиста Горгия и современная математика

Д. Фон-Дер-Флаасс

Был такой античный софист Горгий. Знаменит он тем, что сформулировал три теоремы. Первая теорема звучит так: ничто в мире не существует. Вторая теорема: а ежели что и существует, то непознаваемо для человека. Третья теорема: а ежели всё-таки что-то познаваемо, то непередаваемо ближнему.

Другими словами, нет ничего, а ежели что-то есть, то мы об этом ничего не узнаем, а ежели даже что-то и узнаем, рассказать никому не сможем.

Я добавил бы к этим трём теоремам ещё четвёртую: если даже мы и сможем что-то рассказать, то никто не заинтересуется.

И вот эти четыре теоремы — это, собственно говоря, основные проблемы современной математики.

Первая теорема Горгия

Начнём с первой — ничто в мире не существует, или, в переводе на язык математики, математика занимается непонятно чем. В некотором смысле это действительно так. Ведь математических объектов в мире не существует. Самое простое, с чего всё начинается и чем математики всё время пользуются, — это натуральные числа. Что такое натуральные числа, все мы знаем — это 1, 2, 3, 4 и так далее. И вот то, что мы все понимаем смысл слов «и так далее» — это большая загадка. Потому что «и так далее» означает, что чисел «бесконечно много». В нашем мире нет места для того, чтобы было бесконечно много чего-то. Но все мы уверены, что когда мы думаем о натуральных числах, мы все думаем об одном и том же. Если у меня после 7 следует 8, то и у вас после 7 будет следовать 8. Если у меня 19 — простое число, то у вас 19 будет простое число. Вот почему? Вроде бы в мире этого объекта нет, но мы о нём знаем и все знаем примерно одно и то же. Это, конечно, загадка не математическая, это загадка философская, и пусть философы её обсуждают. Нам достаточно того, что, к счастью, мы всё-таки имеем представление о математических объектах и оно одно и то же у всех, кто начинает о них задумываться. И поэтому математика возможна. Но большая философская проблема остаётся.

Если, как это принято у математиков, задуматься об этом всерьёз, т.е. попытаться как-то строго об этом подумать, то тогда возникают проблемы, о которых я сейчас расскажу. Возникли они на памяти человечества совсем недавно, буквально в последнюю сотню лет.

Кроме натуральных чисел есть ещё много чего в математике. Есть наша евклидова плоскость, на которой мы рисуем всякие треугольники, углы, доказываем о них теоремы. Есть действительные числа, есть комплексные числа, есть функции, есть ещё что-то более страшное... Где-то на рубеже XIX–XX веков была проделана очень большая работа (хотя началась она, конечно, немного раньше), люди поняли, что всё многообразие математических объектов в принципе можно свести к единому понятию — понятию множества. Конечно, если мы просто имеем интуитивное представление о том, что такое множество и что такое «и так далее», мы сможем построить в принципе всю математику.

Что такое множество? Ну, это просто множество чего-то. Вопрос в том — что с множествами можно делать? Если у нас есть какое-то множество, то что означает, что оно у нас есть? Это означает, что про любой элемент нашего мира, мира математических объектов, мы можем спросить, а он в этом множестве лежит или не лежит, и получить ответ. Ответ однозначный, совершенно не зависящий от нашей воли.

Похожие работы