Карта → персоналии → биография
Джон фон Нейман
John von Neumann / Neumann János
Аксиоматизировал квантовую механику, основал теорию игр, придумал архитектуру компьютера и метод Монте-Карло — и всё это, по мнению современников, не напрягаясь.
О фон Наймане ходили легенды про скорость. Известен случай, когда его попросили решить задачу о мухе, летающей между сближающимися велосипедистами; он ответил мгновенно. «Вы догадались про сумму ряда?» — «Какую сумму? Я просуммировал ряд».
Будапешт — Гёттинген — Принстон
Янош Нейман, сын будапештского банкира, получившего дворянство. Один из плеяды венгров — с Сцилардом, Вигнером, Теллером, — которых в Америке звали «марсианами». К двадцати трём годам у него докторская по математике в Будапеште и диплом химика-технолога в Цюрихе.
В Гёттингене он работает у Гильберта — и в 1927 году переводит квантовую механику на язык гильбертова пространства. Матричная механика Гейзенберга и волновая Шрёдингера выглядели несовместимо; фон Нейман показал, что это одно и то же, если состояния — векторы гильбертова пространства, а наблюдаемые — самосопряжённые операторы. Книга 1932 года закрыла вопрос об основаниях квантовой теории — и заодно содержала знаменитое «доказательство невозможности» скрытых параметров, в котором позже нашли слишком сильное допущение.
С 1933 года — один из первых профессоров Института перспективных исследований в Принстоне, вместе с Эйнштейном.
Игры, бомба, машина
Теория игр. Теорема о минимаксе доказана им ещё в 1928 году; книга «Теория игр и экономическое поведение» с Оскаром Моргенштерном (1944) создала предмет. Из него выросли равновесие Нэша, вся математическая экономика и половина политологии.
Лос-Аламос. Взрывные линзы имплозии — его расчёт. Оттуда же метод Монте-Карло, придуманный вместе со Станиславом Уламом: если задачу нельзя решить, её можно разыграть случайно много раз. Для этого понадобились псевдослучайные числа — и первая машина, чтобы их считать.
Архитектура компьютера. «Первый черновик отчёта о EDVAC» (1945) описал машину с общей памятью для данных и программы. Отчёт разошёлся с именем одного фон Наймана на титуле — Эккерт и Мокли, разработчики ENIAC, считали это присвоением, и спор о справедливости названия «архитектура фон Наймана» не окончен до сих пор.
Вычислительная математика. Совместно с Голдстайном он в 1947 году разобрал, почему решение системы уравнений на машине разъезжается, и ввёл число обусловленности: виновата не всегда программа, чаще — сама задача.
Конец
В 1955 году у фон Наймана обнаружили рак — по-видимому, следствие присутствия при испытаниях. Последние месяцы он провёл в военном госпитале под охраной: боялись, что под действием лекарств он проговорится о секретных сведениях. Незаконченная книга «Вычислительная машина и мозг» вышла посмертно.
Точки на карте
Где имя встречается в статьях: сначала точки, где этот человек — главный герой, дальше по хронологии.
- «Первый набросок»: программа переезжает в память
- Улам и фон Нейман: вычислять вероятностью
- Ибн аль-Хайсам: суммы четвёртых степеней
- Граунт: статистика из чумных списков
- Галлей: таблица Бреслау и цена человеческой жизни
- Даниил Бернулли: петербургский парадокс и полезность
- Бессель: сколько теряет отрезанный ряд
- Лондон: биометрическая революция
- Фредгольм: линейная алгебра переживает переход к бесконечности
- Гильберт: бесконечномерное пространство и спектр
- Грам и Шмидт: из любого набора — ортогональный
- «Стьюдент» с пивоварни Guinness
- Борель: мера входит в вероятность
- Хаар: простейший базис — и мера для пятой проблемы
- Александер: рогатая сфера и первый полином узлов
- Гильбертово пространство встречает квантовую механику
- Кёнигсберг, 7 сентября 1930
- Крылов и Боголюбов: нелинейная механика
- Тьюринг: что такое «вычислить»
- Вилль: коллектив опровергнут, появляется мартингал
- Тьюринг: вес свидетельства в Блетчли-парке
- Вальд: последовательный анализ и пробоины
- Эрдёш: вероятность как инструмент существования
- Число обусловленности: когда виновата задача, а не метод
- Данциг: симплекс-метод
- Уилкинсон: точный ответ на слегка другой вопрос
- Белл: неравенство, которое можно проверить
- NP-полнота: 21 задача — одна проблема
- Квантовые группы
- Блюм, Микали и Яо: подделка, которую не отличить
- Полином Джонса: узлы из операторных алгебр