Это утверждение казалось очевидным, и математики всегда молчаливо предполагали, что оно истинно, но никто никогда не потрудился проверить, так ли это. Логики поняли, что до тех пор, пока истинность закона трихотомии не доказана, его утверждение может оказаться ложным, а если оно окажется ложным, то рухнет все опирающееся на него здание знаний. К счастью для математики, истинность закона трихотомии была доказана в конце XIX века.
Со времен Древней Греции математика накапливала все больше и больше теорем и высказываний, которые не были строго доказаны. Математики были озабочены истинностью некоторых из них, проникших в математический арсенал без должного анализа, — таких, как закон трихотомии. Некоторые идеи были усвоены очень давно, однако, никто не может быть вполне уверен в том, что они могут считаться доказанными, поскольку в разное время были разные представления об уровне строгости доказательства. Поэтому логики решили проверить доказательство каждой теоремы с самого начала. Но каждая истина должна быть выведена из других истин. В свою очередь те истины сначала должны быть доказаны, исходя из еще более фундаментальных истин, и т. д. В конце концов логики оказались лицом к лицу с несколькими утверждениями, настолько фундаментальными, что вывести их из других утверждений не представлялось возможным. Эти фундаментальные утверждения называют аксиомами математики.
Одним из примеров аксиом может служить коммутативный закон сложения, который гласит: для любых чисел m и n верно равенство
m + n = n + m
Этот закон и несколько других аксиом принято считать самоочевидными. Они легко могут быть проверены на любых числах. До сих пор аксиомы успешно проходили все проверки и были приняты за основу всей математики. Задача, которую поставили перед собой логики, заключалась в том, чтобы попытаться заново построить всю математику, исходя из этих аксиом. В Приложении 8 приводится набор аксиом арифметики и дается представление о том, как логики намереваются, исходя из них, построить всю остальную математику.
В медленном и болезненном процессе перестройки грандиозного и сложного здания математического знания на основе минимального числа аксиом участвовали очень многие математики. Идея этой перестройки заключалась в том, чтобы обосновать с использованием строжайших стандартов логики то, что математики считали давно известным. Немецкий математик Герман Вейль так описывал настроение того времени: «Логика — это гигиена, правила которой математик соблюдает, чтобы сохранить свои идеи здоровыми и сильными». Кроме того, была надежда, что столь фундаментальный подход позволит пролить свет на еще нерешенные проблемы, в том числе — на Великую теорему Ферма.
Программу обновления математики возглавил один из самых выдающихся ученых XX века — Давид Гильберт. По его глубокому убеждению, все в математике может и должно быть доказано, исходя из основных аксиом. Результат аксиоматического подхода должен был быть доказательно продемонстрирован на двух важнейших элементах математической системы. Во-первых, математика, по крайней мере в принципе, должна быть способна ответить на каждый вопрос в отдельности — это тот самый принцип полноты, который в прошлом требовал введения новых чисел, например, отрицательных и мнимых чисел. Во-вторых, математика должна быть свободна от противоречий, т. е. если истинность некоторого утверждения доказана одним методом, то должна быть исключена возможность доказательства отрицания того же самого утверждения другим методом. Гильберт был убежден, что, приняв всего лишь несколько аксиом, можно ответить на любой мыслимый математический вопрос, не опасаясь впасть в противоречие.
8 августа 1900 года Гильберт выступил с историческим докладом на II Международном конгрессе математиков в Париже. Гильберт сформулировал двадцать три проблемы, имевшие, по его мнению, наибольшее значение. Первые из них были посвящены логическим основаниям математики. По замыслу Гильберта, сформулированные им проблемы должны были привлечь внимание математического мира и стать программой будущих исследований. Гильберт хотел гальванизировать математическое сообщество, чтобы оно помогло реализовать его ви?дение математической системы, свободной от сомнений и противоречий — честолюбивый замысел, суть которого Гильберт завещал высечь на своем надгробии:
Wir mussen wissen, Wir werden wissen.
Огромный вклад в осуществление так называемой гильбертовской программы внес Готтлоб Фреге, временами вступавший в острейшее соперничество с Гильбертом. Более десяти лет Фреге посвятил выводу сотен сложных теорем из простых аксиом, и достигнутые успехи вселили в него уверенность, что он находится на пути к осуществлению значительной части намеченной Гильбертом программы. Одним из ключевых достижений Фреге было создание самого определения числа. Например, что мы в действительности понимаем под числом 3? Оказалось, что для определения числа 3 Фреге понадобилось сначала определить «троичность».
«Троичность» — это абстрактное свойство, присущее всем наборам, или множествам, содержащим по три объекта. Например, «троичность» может быть использована и при описании поросят в известной детской песенке, и при описании множества сторон треугольника. Фреге заметил, что свойством «троичности» обладают многочисленные множества и воспользовался абстрактной идеей таких множеств для определения самого числа «3». Он создал новое множество и поместил в него все множества, обладающие свойством троичности, и назвал это новое множество «множество 3». Таким образом множество имеет три члена в том и только в том случае, если оно принадлежит «множеству 3».
Для понятия, которым мы пользуемся ежедневно, такое определение может показаться чересчур сложным, но столь строгое описание «множества 3» необходимо для бескомпромисной программы Гильберта.
В 1902 году тяжкий труд, добровольно возложенный на себя Фреге, подошел к концу: Фреге подготовил к печати гигантский двухтомный трактат «Grundgesetze der Arithmetik», который должен был установить в математике новый стандарт строгости.
Тогда же английский логик Бертран Рассел, также внесший немалый вклад в осуществление грандиозного проекта Гильберта, сделал ошеломляющее открытие: строго следуя предписаниям Гильберта, он все же наткнулся на противоречие. Позднее Рассел вспоминал свою собственную реакцию на удручающее осознание того, что вся математика может быть внутренне противоречива: «Сначала я было предположил, что легко и просто сумею преодолеть это противоречие, и что в мои рассуждения, возможно, где-то вкралась какая-нибудь тривиальная ошибка. Но постепенно мне становилось ясно, что это не так… Всю вторую половину 1901 года я надеялся, что решение будет несложным, но к концу года понял, что предстоит нелегкая работа… Я взял за обыкновение бродить каждый вечер с одиннадцати до часу ночи и научился различать три различных звука, которые издает козодой.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88
Со времен Древней Греции математика накапливала все больше и больше теорем и высказываний, которые не были строго доказаны. Математики были озабочены истинностью некоторых из них, проникших в математический арсенал без должного анализа, — таких, как закон трихотомии. Некоторые идеи были усвоены очень давно, однако, никто не может быть вполне уверен в том, что они могут считаться доказанными, поскольку в разное время были разные представления об уровне строгости доказательства. Поэтому логики решили проверить доказательство каждой теоремы с самого начала. Но каждая истина должна быть выведена из других истин. В свою очередь те истины сначала должны быть доказаны, исходя из еще более фундаментальных истин, и т. д. В конце концов логики оказались лицом к лицу с несколькими утверждениями, настолько фундаментальными, что вывести их из других утверждений не представлялось возможным. Эти фундаментальные утверждения называют аксиомами математики.
Одним из примеров аксиом может служить коммутативный закон сложения, который гласит: для любых чисел m и n верно равенство
m + n = n + m
Этот закон и несколько других аксиом принято считать самоочевидными. Они легко могут быть проверены на любых числах. До сих пор аксиомы успешно проходили все проверки и были приняты за основу всей математики. Задача, которую поставили перед собой логики, заключалась в том, чтобы попытаться заново построить всю математику, исходя из этих аксиом. В Приложении 8 приводится набор аксиом арифметики и дается представление о том, как логики намереваются, исходя из них, построить всю остальную математику.
В медленном и болезненном процессе перестройки грандиозного и сложного здания математического знания на основе минимального числа аксиом участвовали очень многие математики. Идея этой перестройки заключалась в том, чтобы обосновать с использованием строжайших стандартов логики то, что математики считали давно известным. Немецкий математик Герман Вейль так описывал настроение того времени: «Логика — это гигиена, правила которой математик соблюдает, чтобы сохранить свои идеи здоровыми и сильными». Кроме того, была надежда, что столь фундаментальный подход позволит пролить свет на еще нерешенные проблемы, в том числе — на Великую теорему Ферма.
Программу обновления математики возглавил один из самых выдающихся ученых XX века — Давид Гильберт. По его глубокому убеждению, все в математике может и должно быть доказано, исходя из основных аксиом. Результат аксиоматического подхода должен был быть доказательно продемонстрирован на двух важнейших элементах математической системы. Во-первых, математика, по крайней мере в принципе, должна быть способна ответить на каждый вопрос в отдельности — это тот самый принцип полноты, который в прошлом требовал введения новых чисел, например, отрицательных и мнимых чисел. Во-вторых, математика должна быть свободна от противоречий, т. е. если истинность некоторого утверждения доказана одним методом, то должна быть исключена возможность доказательства отрицания того же самого утверждения другим методом. Гильберт был убежден, что, приняв всего лишь несколько аксиом, можно ответить на любой мыслимый математический вопрос, не опасаясь впасть в противоречие.
8 августа 1900 года Гильберт выступил с историческим докладом на II Международном конгрессе математиков в Париже. Гильберт сформулировал двадцать три проблемы, имевшие, по его мнению, наибольшее значение. Первые из них были посвящены логическим основаниям математики. По замыслу Гильберта, сформулированные им проблемы должны были привлечь внимание математического мира и стать программой будущих исследований. Гильберт хотел гальванизировать математическое сообщество, чтобы оно помогло реализовать его ви?дение математической системы, свободной от сомнений и противоречий — честолюбивый замысел, суть которого Гильберт завещал высечь на своем надгробии:
Wir mussen wissen, Wir werden wissen.
Огромный вклад в осуществление так называемой гильбертовской программы внес Готтлоб Фреге, временами вступавший в острейшее соперничество с Гильбертом. Более десяти лет Фреге посвятил выводу сотен сложных теорем из простых аксиом, и достигнутые успехи вселили в него уверенность, что он находится на пути к осуществлению значительной части намеченной Гильбертом программы. Одним из ключевых достижений Фреге было создание самого определения числа. Например, что мы в действительности понимаем под числом 3? Оказалось, что для определения числа 3 Фреге понадобилось сначала определить «троичность».
«Троичность» — это абстрактное свойство, присущее всем наборам, или множествам, содержащим по три объекта. Например, «троичность» может быть использована и при описании поросят в известной детской песенке, и при описании множества сторон треугольника. Фреге заметил, что свойством «троичности» обладают многочисленные множества и воспользовался абстрактной идеей таких множеств для определения самого числа «3». Он создал новое множество и поместил в него все множества, обладающие свойством троичности, и назвал это новое множество «множество 3». Таким образом множество имеет три члена в том и только в том случае, если оно принадлежит «множеству 3».
Для понятия, которым мы пользуемся ежедневно, такое определение может показаться чересчур сложным, но столь строгое описание «множества 3» необходимо для бескомпромисной программы Гильберта.
В 1902 году тяжкий труд, добровольно возложенный на себя Фреге, подошел к концу: Фреге подготовил к печати гигантский двухтомный трактат «Grundgesetze der Arithmetik», который должен был установить в математике новый стандарт строгости.
Тогда же английский логик Бертран Рассел, также внесший немалый вклад в осуществление грандиозного проекта Гильберта, сделал ошеломляющее открытие: строго следуя предписаниям Гильберта, он все же наткнулся на противоречие. Позднее Рассел вспоминал свою собственную реакцию на удручающее осознание того, что вся математика может быть внутренне противоречива: «Сначала я было предположил, что легко и просто сумею преодолеть это противоречие, и что в мои рассуждения, возможно, где-то вкралась какая-нибудь тривиальная ошибка. Но постепенно мне становилось ясно, что это не так… Всю вторую половину 1901 года я надеялся, что решение будет несложным, но к концу года понял, что предстоит нелегкая работа… Я взял за обыкновение бродить каждый вечер с одиннадцати до часу ночи и научился различать три различных звука, которые издает козодой.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88