Густаво Эрнесто Пиньейро - У интуиции есть своя логика. Гёдель. Теоремы о неполноте.
Название: | У интуиции есть своя логика. Гёдель. Теоремы о неполноте. | |
Автор: | Густаво Эрнесто Пиньейро | |
Жанр: | Математика, Научно-популярная и научно-познавательная литература, История науки | |
Изадано в серии: | Наука. Величайшие теории #17 | |
Издательство: | Де Агостини | |
Год издания: | 2015 | |
ISBN: | неизвестно | |
Отзывы: | Комментировать | |
Рейтинг: | ||
Поделись книгой с друзьями! Помощь сайту: донат на оплату сервера |
Краткое содержание книги "У интуиции есть своя логика. Гёдель. Теоремы о неполноте."
Курт Гёдель изменил понимание математики. Две теоремы о неполноте, сформулированные им в 1931 году, с помощью формальной логики выявили хрупкость фундамента великого здания математики, которое усердно строили со времен Евклида. Научное сообщество было вынуждено признать, что справедливость той или иной гипотезы может лежать за гранью любой рациональной попытки доказать ее, и интуицию нельзя исключить из царства математики. Гёдель, получивший образование в благополучной Вене межвоенного периода, быстро заинтересовался эпистемологией и теорией доказательств. Так же как и его друг Альберт Эйнштейн, он оспаривал догмы современной науки, и точно так же в его жизни присутствовали война и изгнание.
Читаем онлайн "У интуиции есть своя логика. Гёдель. Теоремы о неполноте.". [Страница - 2]
- 1
- 2
- 3
- 4
- . . .
- последняя (56) »
Все простые числа, большие двух, являются нечетными. Доказательство: если простое число, большее двух, четно, то оно делится на 2. Но это невозможно, поскольку оно простое, то есть может делиться только на единицу и само на себя. Оно не может быть кратным двум, то есть четным; следовательно, оно нечетное.
Мы можем понимать доказательство как рассуждение, которое потенциально включает в себя бесконечное число частных случаев. Все сложные математические проблемы потенциально включают в себя бесконечное количество объектов, будь то числа, уравнения или другие объекты. По этой причине вычисление суммы всех чисел от единицы до миллиона, при всей своей трудоемкости, не является сложной проблемой в том смысле, который придают этому слову математики, поскольку вычисление предполагает вполне определенное количество операций, и их можно совершить за некоторый промежуток времени, имеющий начало и конец.
Решение проблемы, сформулированной в гипотезе Гольдбаха (или любой другой гипотезе), состоит в том, чтобы найти опровергающий контрпример или доказательство, подтверждающее ее истинность.
Если предложено рассуждение, предположительно доказывающее гипотезу, как мы убедимся в том, что оно верно? Если кто-то не убежден в справедливости рассуждения, каковы критерии, позволяющие устранить его сомнения? Прежде чем ответить на эти вопросы, рассмотрим еще один исторический пример.
В 1909 году французский математик Эмиль Борель дал определение понятию нормального числа. Нет необходимости вникать во все сложности этого определения, достаточно сказать, что число нормальное, когда после запятой его знаки ведут себя так, как если бы выбирались наугад, и это происходит при записи в десятичном (как это принято), двоичном, шестнадцатеричном или любом другом виде. Например, ясно, что 0, 101010101... не является нормальным числом (его знаки после запятой ведут себя слишком закономерно для того, чтобы быть похожими на случайные). И напротив, считается, что π = 3,1415926... и √2 = 1,4142135... являются нормальными числами, хотя эта гипотеза еще не доказана и не опровергнута.
Борель, помимо того что дал определение нормальным числам, доказал: их количество бесконечно, то есть ряд нормальных чисел никогда не заканчивается. Однако в его доказательстве были использованы очень косвенные методы; можно сказать, он также доказал, что этого бесконечного количества чисел не может не существовать. Главное в этой истории то, что Борель, как и никто другой, не был способен в 1909 году привести ни одного примера нормального числа. Некоторые числа (включая приведенные выше) подходили под определение нормальных, но нельзя было утверждать это точно. То есть Борель доказал, что существует бесконечное количество чисел определенного типа, но не смог привести ни одного из них. Допустима ли такая ситуация? Можем ли мы вести разговор о числах, ни имея ни одного их примера? В начале XX века многие математики начали выказывать недоверие доказательствам, включавшим ряды, образованные бесконечным количеством чисел (такими как ряд нормальных чисел). Они сомневались, допустимо ли работать с ними, пользуясь теми же правилами, что и для конечных рядов (то есть не расширяющихся до неопределенности). Это недоверие было подкреплено тем, что в 1902 году британский философ и математик Бертран Рассел нашел логические противоречия, связанные с рассуждениями такого типа.
В начале XX века вопрос о том, как определить справедливость математического рассуждения, был совершенно неясен. Среди математиков бурлили споры и дискуссии. И только почти через четверть века, в 1930 году, ученые пришли к соглашению о четких и конкретных критериях, которым должно соответствовать доказательство, чтобы его приняли как верное. Эти критерии, установленные объективно, состояли в том, чтобы рассуждения были проверены компьютером — беспристрастным судьей, который ограничивается вычислениями, не оперируя лингвистическими конструкциями. Естественно, это современный вариант соглашения, раньше он --">- 1
- 2
- 3
- 4
- . . .
- последняя (56) »
Книги схожие с «У интуиции есть своя логика. Гёдель. Теоремы о неполноте.» по жанру, серии, автору или названию:
Карлос М Мадрид Касадо - Лаплас. Небесная механика. Вселенная работает как часы Жанр: Астрономия и Космос Год издания: 2015 Серия: Наука. Величайшие теории |
Joaquin Navarro Sandalinas - До предела чисел. Эйлер. Математический анализ. Жанр: Математика Серия: Наука. Величайшие теории |
Густаво Эрнесто Пинейро - Бесчисленное поддается подсчету. Кантор. Бесконечность в математике. Жанр: История науки Год издания: 2015 Серия: Наука. Величайшие теории |
Маркос Хаэн Санчес - Тайна за тремя стенами. Пифагор. Теорема Пифагора Жанр: Математика Год издания: 2014 Серия: Наука. Величайшие теории |
Другие книги из серии «Наука. Величайшие теории»:
Луис Фернандо Ареан Альварес - Самая сложная задача в мире. Ферма. Великая теорема Ферма Жанр: Математика Год издания: 2015 Серия: Наука. Величайшие теории |
Хайме Наварро - Квантовая модель атома. Нильс Бор. Квантовый загранпаспорт. Жанр: Физика Год издания: 2014 Серия: Наука. Величайшие теории |
Карлос М Мадрид Касадо - Гильберт. Основания математики. Вначале была аксиома. Жанр: История науки Год издания: 2015 Серия: Наука. Величайшие теории |
Маркос Хаэн Санчес - Тайна за тремя стенами. Пифагор. Теорема Пифагора Жанр: Математика Год издания: 2014 Серия: Наука. Величайшие теории |