Форма входа
0/0
Апология математика - Годфри Гарольд Харди
- Дата:18.10.2024
- Категория: Биографии и Мемуары / Математика / Науки: разное
- Название: Апология математика
- Автор: Годфри Гарольд Харди
- Просмотров:0
- Комментариев:0
Уважаемые читатели!
Тут можно читать бесплатно Апология математика - Годфри Гарольд Харди. Жанр: Биографии и Мемуары / Математика / Науки: разное. Так же Вы можете читать полную версию (весь текст) онлайн книги без регистрации и SMS на сайте Knigi-online.info (книги онлайн) или прочесть краткое содержание, описание, предисловие (аннотацию) от автора и ознакомиться с отзывами (комментариями) о произведении.
Описание онлайн-книги Апология математика - Годфри Гарольд Харди:
Прекрасны могут быть люди и животные, растения, здания, произведения искусства, но может ли быть прекрасна математика?Годфри Харди, называвший свою профессию чистой математикой, оставил миру замечательную и до сих пор пользующуюся популярностью у увлеченных точными науками людей всего мира работу «Апология математика», посвященную своеобразной «философии математики» – чистой науки, блестящей игры разума, свободного полета интеллектуального воображения, которые автор сравнил с вдохновением поэта, художника или шахматиста.Главным объектом его восхищения, его музой, становится теория чисел – «математика для математики», научный аналог издавна любимого британцами «чистого искусства». Математика, лишенная прикладной «тривиальности» и «уродства» и прекрасная, помимо прочего, еще и тем, что не способна принести человечеству вред.В формате PDF A4 сохранен издательский макет книги.
Читем онлайн Апология математика - Годфри Гарольд Харди
Шрифт:
-
+
Интервал:
-
+
Закладка:
Сделать
можно представить в виде дроби
, где a и b – целые числа, у которых нет общего делителя, иначе бы мы эту дробь сократили. Утверждение «число
иррационально» равносильно утверждению, что число 2 нельзя представить в виде формулы
; а это, в свою очередь, равносильно утверждению, что уравнению
(B) a2= 2b2
не удовлетворяют никакие целые a и b, не имеющие общего делителя. Это чисто арифметическая теорема, не требующая знаний об «иррациональных числах» и не опирающаяся ни на какую теорию об их свойствах.
Воспользуемся вновь reductio ad absurdum: предположим, что (B) верно для целых a и b, не имеющих общего делителя. Из (B) следует, что a2 – четное число (поскольку 2b2 заведомо делится на 2), а значит, и само a тоже четное (ведь квадрат нечетного числа всегда число нечетное). Если а – четное, тогда соотношение
(C) a = 2c
верно для некоего целого с; и следовательно,
2b2= a2= (2c)2= 4c2
или
(D) b2= 2c2.
Получается, что b2 четное, следовательно (по вышеуказанной причине), b тоже четное. Таким образом, a и b оба числа четные и, стало быть, имеют общий делитель 2. Этот вывод противоречит нашей исходной гипотезе, то есть гипотеза неверна.
Из теоремы Пифагора следует, что диагональ квадрата несоизмерима с его стороной (иными словами, их соотношение не является рациональным числом и ни в каких единицах измерения не имеет общего целого множителя). Если принять сторону квадрата за единицу длины, а длину диагонали обозначить как d, то по другой известной теореме, также приписываемой Пифагору[78], мы получим:
d 2= 12+ 12= 2,
а значит, d не может быть рациональным числом.
Я мог бы привести сколько угодно примеров красивейших теорем из теории чисел, смысл которых понятен каждому. Например, существует так называемая «основная теорема арифметики», согласно которой любое целое можно лишь одним-единственным способом разложить на простые множители. То есть 666 = 2 × 3 × 3 × 37, и никак иначе. Такие комбинации, как 666 = 2 × 11 × 29 или 13 × 89 = 17 × 73, невозможны (что очевидно и без перемножения). Как следует из ее названия, эта теорема – основа высшей арифметики, однако ее доказательство, хоть и не такое уж «сложное», требует немало предварительных пояснений и может утомить далекого от математики читателя.
Другая знаменитая и очень красивая теорема – теорема Ферма «о двух квадратах». Простые числа (за исключением особенного числа 2) можно разделить на два класса; те, что при делении на 4 дают остаток 1:
5, 13, 17, 29, 37, 41, …,
и те, что дают остаток 3:
3, 7, 11, 19, 23, 31…
Все простые числа первого класса, в отличие от чисел второго класса, можно представить как сумму квадратов двух целых чисел, например:
5 = 12+ 22, 13 = 22+ 32,
17 = 12+ 42, 29 = 22+ 52,
а 3, 7, 11 и 19 в таком виде непредставимы (что читатель может легко проверить сам). Это и есть теорема Ферма, которая по праву принадлежит к вершинам арифметического изящества. К сожалению, ее доказательство способны понять лишь довольно опытные математики.
Прекрасные примеры существуют и в теории множеств (Mengenlehre), такие как теорема Кантора о «несчетности» континуума. Здесь трудность как раз обратная. Владея соответствующей терминологией, понять доказательство достаточно просто, а вникнуть в смысл самой теоремы невозможно без дополнительных подробных объяснений. Поэтому я воздержусь от дальнейших примеров. Пусть те, что я привел выше, послужат проверкой: читатель, которого они не впечатлили, навряд ли оценит вообще что-либо в математике.
Как я уже говорил, математик создает образы из идей, а критериями оценки этих образов являются их красота и серьезность. Не могу себе представить, чтобы человек, понявший две приведенные теоремы, усомнился бы в том, что они удовлетворяют обоим критериям. Эти теоремы очевидно превосходят гениальнейшие из головоломок Дьюдени и выдающиеся розыгрыши величайших гроссмейстеров как по серьезности, так и по красоте. Давайте разберемся, в чем же конкретно заключается их превосходство?
14
Прежде всего теоремы имеют явное и подавляющее превосходство в серьезности. Шахматная задача – результат довольно ограниченного набора замысловатых идей, по сути мало чем отличающихся друг от друга и не имеющих далекоидущих последствий. Не будь шахмат, люди мыслили бы так же, тогда как теоремы Евклида и Пифагора глубоко повлияли на наше мышление далеко за пределами математики.
Например, на теореме Евклида держится вся арифметика. Простые числа – как строительный материал, и теорема Евклида гарантирует, что этого ресурса нам хватит для решения всех арифметических задач. А вот область применения теоремы Пифагора гораздо шире, и сформулирована она гораздо лучше.
В первую очередь следует заметить, что доказательство Пифагора можно сильно обобщить и, чуть изменив подход, применить к весьма широкому классу «иррациональных чисел». Похожим образом легко доказать (как это сделал Феодор[79]), что
иррациональные числа или (идя дальше Феодора) что
и тоже иррациональны[80].Теорема Евклида гарантирует, что мы располагаем достаточным количеством строительного материала для создания полноценной арифметики целых чисел. А теорема Пифагора и ее следствия показали, что такой арифметикой нам не обойтись, так как существует множество достойных внимания величин, измерить которые в целых числах нельзя; диагональ квадрата – лишь самый очевидный тому пример. Древнегреческие математики сразу же осознали фундаментальность этого открытия. И тогда они предположили (видимо, согласно «естественным» законам «здравого смысла»), что все однородные величины соизмеримы, то есть что любые две длины, например, кратны какой-то одной общей величине, и на основе этого предположения выстроили теорию пропорций. Однако доказательство Пифагора выявило несостоятельность этого допущения и привело к созданию куда более фундаментальной теории Евдокса[81], изложенной в пятой книге «Начал» и до сих пор признаваемой многими учеными высшим достижением древнегреческой математики. Теория эта на удивление современна по духу и может рассматриваться как предвестник теории иррациональных чисел, которая произвела революцию в математическом анализе и оказала сильное влияние на современную философию.
Таким образом, в «серьезности» обеих теорем нет никаких сомнений. А потому тем более следует отметить, что ни одна из них не имеет ни малейшей «практической» значимости. Для практических применений
На этой странице вы можете бесплатно читать книгу Апология математика - Годфри Гарольд Харди бесплатно.
Похожие на Апология математика - Годфри Гарольд Харди книги
- Улыбка - Рэй Брэдбери - Научная Фантастика
- Секс-каталог «Жаркие каникулы». Как провести отпуск или каникулы, не теряя даром времени. 50 лучших поз для секса вне дома - Андрей Райдер - Самосовершенствование
- Оборотень - Бредли Сноу - Ужасы и Мистика
- 20-ть любительских переводов (сборник) - Рид Роберт - Мистика
- И грянул гром… (Том 4-й дополнительный) - Вашингтон Ирвинг - Научная Фантастика
