Заполнение последних пустых клеточек особенно трудного кроссворда всегда приносит удовлетворение — но какую же радость должен испытывать тот, кто после многих лет безуспешных попыток решить головоломку, которую до него не удавалось решить никому в мире, все-таки сумел найти решение.
По этим же самым причинам Эндрю Уайлс оказался околдованным волшебными чарами Великой теоремы Ферма: «Те, кто занимаются чистой математикой, любят вызов. Они в восторге от нерешенных проблем. Когда Вы занимаетесь математикой, Вами овладевает это великое чувство. Вы начинаете с проблемы, которая представляет для вас полную загадку. Вы не можете ее понять — настолько она сложна, Вы не имеете ни малейшего понятия о том, как к ней подступиться. Но вот, наконец, Вам удается решить ее, и Вас охватывает непередаваемое ощущение ее красоты, изящества и соразмерности деталей и целого. Самыми коварными следует считать те задачи, которые кажутся простыми, но на самом деле оказываются необычайно трудными. Великая теорема Ферма — самый прекрасный пример такого рода проблем. Она выглядит так, будто доказательство должно существовать, и к тому же обладает особенной загадочностью: Ферма утверждал, что нашел ее доказательство».
Математика находит многочисленные приложения в науке и технике, но не они служат главным стимулом развития. Ученых вдохновляет радость открытия. Г. Г. Харди в своей книге «Апология математика» попытался объяснить эту особенность науки и оправдать свою деятельность чистого математика:
«Я только хочу сказать, что если шахматная задача, грубо говоря, «бесполезна», то столь же бесполезна и значительная часть самой лучшей математики… Я никогда не делал ничего «полезного». Ни одно из моих открытий ни на йоту не изменило (и вряд ли изменит), прямо или косвенно, в лучшую или в худшую сторону, прелести мира. Если судить по практическим меркам, то ценность моей математической жизни равна нулю, но в любом случае вне математики она и вовсе бессодержательна. У меня только один шанс избежать вердикта полной бесполезности — если люди сочтут, что мне удалось создать нечто, достойное быть созданным. То, что я создал кое-что, не подлежит сомнению, — вопрос лишь в том, насколько ценно то, что я создал».
В основе стремления решить любую математическую проблему лежит главным образом любопытство, а наградой служит простое, но огромное удовлетворение. Математик Э.Ч. Титчмарш однажды сказал: «От того, что мы знаем, что некоторое число иррационально, нет никакой практической пользы, но если мы можем знать нечто, то не знать этого становится невыносимо».
В случае Великой теоремы Ферма недостатка в любопытстве не было. Работа Гёделя о неразрешимости внесла элемент сомнения в вопрос о том, разрешима ли проблема Ферма, но истинных фанатиков Великой теоремы Ферма это ничуть не разочаровало. Гораздо более разочаровывающим было то, что с 30-х годов математики исчерпали все имевшиеся у них методы, а новых методов появилось явно недостаточно.
Вторая мировая война обусловила гигантский скачок в развитии со времен изобретения логарифмической линейки. И следующим этапом в направлении доказательства теоремы Ферма стало развитие вычислительной техники и криптографии.
Подход с позиций грубой силы
Когда в 1940 году Г.Г. Харди заявил о том, что самая первоклассная математика в основном бесполезна, он тут же был вынужден добавить, что это не обязательно плохо: «Настоящая математика не оказывает влияния на ведение войн. Никто еще не открыл ни одного применения теории чисел в военных целях». Вскоре выяснилось, что Харди заблуждался.
В 1944 году Джон фон Нейман в соавторстве с Оскаром Моргенштерном написал книгу «Теория игр и экономическое поведение», в которой ввел придуманный им термин «теория игр». Фон Нейман попытался использовать математику для описания структуры игр и того, как люди играют в них. Он начал с шахмат и покера, а затем попытался построить модели более сложных игр — таких, как экономика. После второй мировой войны корпорация RAND оценила потенциал идей фон Неймана и пригласила его принять участие в разработке стратегии холодной войны. С той поры математическая теория игр стала основным средством, с помощью которого генералы проверяют разрабатываемые ими стратегии, рассматривая вооруженные конфликты как усложненный вариант шахматных партий. Простой иллюстрацией применения теории игр к анализу военных операций служит задача о труэли.
Труэль аналогична дуэли, но с тремя участниками вместо двух. Однажды утром м-р Блэк, м-р Грей и м-р Уайт вздумали решить конфликт труэлью на пистолетах. Стрелять условились до тех пор, пока в живых не останется только один из участников. М-р Блэк стрелял хуже всех. В цель он попадал в среднем лишь один раз из трех. М-р Уайт стрелял лучше всех — без промаха. Чтобы уравнять шансы участников труэли, м-ру Блэку разрешено стрелять первым, за ним должен стрелять м-р Грей (если он останется в живых), затем мог стрелять м-р Уайт (если он еще будет жив).
Далее все начиналось снова, и так до тех пор, пока в живых не останется только один из участников труэли. Вопрос: в кого должен выстрелить м-р Блэк, производя свой первый выстрел? Вы можете попытаться ответить на этот вопрос, опираясь на свою интуицию, но лучше все же, если ваш ответ будет основан на теории игр. Решение задачи см. в Приложении 9.
Большое значение в военное время приобрела математическая теория криптографии — наука о конструировании и «взламывании» кодов. Во время второй мировой войны союзники поняли, что математическая логика может оказаться полезной для дешифровки немецких радиограмм, если только вычисления проводить достаточно быстро. Требовалось автоматизировать математические вычисления, чтобы их могла производить машина, и более других способствовал раскрытию немецких кодов английский математик Алан Тьюринг.
В 1938 году Тьюринг вернулся в Кембридж после стажировки в Принстонском университете. Он стал свидетелем того переполоха, который вызвали теоремы Гёделя о неразрешимости, и принял участие в попытках спасти осколки мечты Гильберта.
В частности, Тьюринг захотел выяснить, существует ли способ, позволяющий определить, какие проблемы разрешимы и какие неразрешимы, и попытался разработать метод, дающий ответ на этот вопрос. В те времена вычислительные устройства были весьма примитивными и, по существу, бесполезными, когда дело касалось серьезных задач. Поэтому Тьюринг основывал свои идеи не на реальных компьютерах, а на представлении о некоторой воображаемой машине, способной неограниченно производить вычисления.
Все, что требовалось Тьюрингу для исследования абстрактных логических проблем, — гипотетическая машина, снабженная бесконечной воображаемой лентой, разделенной на клетки, и способная неограниченно производить вычисления.
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
По этим же самым причинам Эндрю Уайлс оказался околдованным волшебными чарами Великой теоремы Ферма: «Те, кто занимаются чистой математикой, любят вызов. Они в восторге от нерешенных проблем. Когда Вы занимаетесь математикой, Вами овладевает это великое чувство. Вы начинаете с проблемы, которая представляет для вас полную загадку. Вы не можете ее понять — настолько она сложна, Вы не имеете ни малейшего понятия о том, как к ней подступиться. Но вот, наконец, Вам удается решить ее, и Вас охватывает непередаваемое ощущение ее красоты, изящества и соразмерности деталей и целого. Самыми коварными следует считать те задачи, которые кажутся простыми, но на самом деле оказываются необычайно трудными. Великая теорема Ферма — самый прекрасный пример такого рода проблем. Она выглядит так, будто доказательство должно существовать, и к тому же обладает особенной загадочностью: Ферма утверждал, что нашел ее доказательство».
Математика находит многочисленные приложения в науке и технике, но не они служат главным стимулом развития. Ученых вдохновляет радость открытия. Г. Г. Харди в своей книге «Апология математика» попытался объяснить эту особенность науки и оправдать свою деятельность чистого математика:
«Я только хочу сказать, что если шахматная задача, грубо говоря, «бесполезна», то столь же бесполезна и значительная часть самой лучшей математики… Я никогда не делал ничего «полезного». Ни одно из моих открытий ни на йоту не изменило (и вряд ли изменит), прямо или косвенно, в лучшую или в худшую сторону, прелести мира. Если судить по практическим меркам, то ценность моей математической жизни равна нулю, но в любом случае вне математики она и вовсе бессодержательна. У меня только один шанс избежать вердикта полной бесполезности — если люди сочтут, что мне удалось создать нечто, достойное быть созданным. То, что я создал кое-что, не подлежит сомнению, — вопрос лишь в том, насколько ценно то, что я создал».
В основе стремления решить любую математическую проблему лежит главным образом любопытство, а наградой служит простое, но огромное удовлетворение. Математик Э.Ч. Титчмарш однажды сказал: «От того, что мы знаем, что некоторое число иррационально, нет никакой практической пользы, но если мы можем знать нечто, то не знать этого становится невыносимо».
В случае Великой теоремы Ферма недостатка в любопытстве не было. Работа Гёделя о неразрешимости внесла элемент сомнения в вопрос о том, разрешима ли проблема Ферма, но истинных фанатиков Великой теоремы Ферма это ничуть не разочаровало. Гораздо более разочаровывающим было то, что с 30-х годов математики исчерпали все имевшиеся у них методы, а новых методов появилось явно недостаточно.
Вторая мировая война обусловила гигантский скачок в развитии со времен изобретения логарифмической линейки. И следующим этапом в направлении доказательства теоремы Ферма стало развитие вычислительной техники и криптографии.
Подход с позиций грубой силы
Когда в 1940 году Г.Г. Харди заявил о том, что самая первоклассная математика в основном бесполезна, он тут же был вынужден добавить, что это не обязательно плохо: «Настоящая математика не оказывает влияния на ведение войн. Никто еще не открыл ни одного применения теории чисел в военных целях». Вскоре выяснилось, что Харди заблуждался.
В 1944 году Джон фон Нейман в соавторстве с Оскаром Моргенштерном написал книгу «Теория игр и экономическое поведение», в которой ввел придуманный им термин «теория игр». Фон Нейман попытался использовать математику для описания структуры игр и того, как люди играют в них. Он начал с шахмат и покера, а затем попытался построить модели более сложных игр — таких, как экономика. После второй мировой войны корпорация RAND оценила потенциал идей фон Неймана и пригласила его принять участие в разработке стратегии холодной войны. С той поры математическая теория игр стала основным средством, с помощью которого генералы проверяют разрабатываемые ими стратегии, рассматривая вооруженные конфликты как усложненный вариант шахматных партий. Простой иллюстрацией применения теории игр к анализу военных операций служит задача о труэли.
Труэль аналогична дуэли, но с тремя участниками вместо двух. Однажды утром м-р Блэк, м-р Грей и м-р Уайт вздумали решить конфликт труэлью на пистолетах. Стрелять условились до тех пор, пока в живых не останется только один из участников. М-р Блэк стрелял хуже всех. В цель он попадал в среднем лишь один раз из трех. М-р Уайт стрелял лучше всех — без промаха. Чтобы уравнять шансы участников труэли, м-ру Блэку разрешено стрелять первым, за ним должен стрелять м-р Грей (если он останется в живых), затем мог стрелять м-р Уайт (если он еще будет жив).
Далее все начиналось снова, и так до тех пор, пока в живых не останется только один из участников труэли. Вопрос: в кого должен выстрелить м-р Блэк, производя свой первый выстрел? Вы можете попытаться ответить на этот вопрос, опираясь на свою интуицию, но лучше все же, если ваш ответ будет основан на теории игр. Решение задачи см. в Приложении 9.
Большое значение в военное время приобрела математическая теория криптографии — наука о конструировании и «взламывании» кодов. Во время второй мировой войны союзники поняли, что математическая логика может оказаться полезной для дешифровки немецких радиограмм, если только вычисления проводить достаточно быстро. Требовалось автоматизировать математические вычисления, чтобы их могла производить машина, и более других способствовал раскрытию немецких кодов английский математик Алан Тьюринг.
В 1938 году Тьюринг вернулся в Кембридж после стажировки в Принстонском университете. Он стал свидетелем того переполоха, который вызвали теоремы Гёделя о неразрешимости, и принял участие в попытках спасти осколки мечты Гильберта.
В частности, Тьюринг захотел выяснить, существует ли способ, позволяющий определить, какие проблемы разрешимы и какие неразрешимы, и попытался разработать метод, дающий ответ на этот вопрос. В те времена вычислительные устройства были весьма примитивными и, по существу, бесполезными, когда дело касалось серьезных задач. Поэтому Тьюринг основывал свои идеи не на реальных компьютерах, а на представлении о некоторой воображаемой машине, способной неограниченно производить вычисления.
Все, что требовалось Тьюрингу для исследования абстрактных логических проблем, — гипотетическая машина, снабженная бесконечной воображаемой лентой, разделенной на клетки, и способная неограниченно производить вычисления.
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