Американский математик и физик Янош фон Нейман
Страница 2

В 1927 году фон Нейман становится приват-доцентом Берлинского, а с 1929 года - Гамбургского университета.

В период 1927 по 1929 годы фон Нейман выполнил основополагающие работы трёх больших циклов: по теории множеств, теории игр и математическому обоснованию квантовой механики.

В 1927 фон Нейман написал статью "К гильбертовой теории доказательства". В ней он исследовал проблему непротиворечивости математики.

В 1928 фон Нейман написал работу "К теории стратегических игр", в которой доказал теорему о минимаксе, ставшей краеугольным камнем возникшей позже теории игр. В своей теореме фон Нейман рассматривает ситуацию, когда двое играют в игру, по правилам которой вигрыш одного игрока равен проигрышу другого. При этом каждый игрок может выбирать из конечного числа стратегий. При этом игрок считает, что противник действует наилучшим для себя образом. Теорема фон Неймана утверждает, что в такой ситуации существует "устойчивая" пара стратегий, для которых минимальный проигрыш одного игрока совпадает с максимальным выигрышем другого. Устойчивость стратегий означает, что каждый из игроков, отклоняясь от оптимальной стратегии лишь ухудшает свои шансы и, ему приходится вернуться к оптимальной стратегии.

Фон Нейман доказал эту теорему, обратив внимание на её связь с теорией неподвижных точек. Позже были найдены доказательства, использующие теорию выпуклых множеств.

В работе "Об определении через трансфинитную индукцию и родственных вопросах общей теории множеств" (1928), фон Нейман вновь возвращается к проблеме введения ординальных чисел, и дает строгое аксиоматическое изложение теории.

В работе "Об одной проблеме непротиворечивости аксиоматической теории множеств" фон Нейман показал, что одна из "нетрадиционных" аксиом в предложенной им системе выводима из аксиом других систем. Поскольку обратная выводимость была доказана раньше, то результат означал, что его "необычная" аксиома эквивалентна обычным в других системах.

В 1929 году фон Нейман пишет работу "Общая спектральная теория эрмитовых операторов".

В 1929 году фон Нейман получает приглашение прочитать в течении одного семестра цикл лекций в Принстонском университете. В США фон Нейман впервые оказался в 1930 году. Вскоре после приезда Иоганн фон Нейман для многих коллег становится просто Джонни.

В 1931 году фон Нейман окончательно расстается с Гамбургским университетом, чтобы принять профессуру в Принстоне.

В 1934 году выходит в свет статья "Об алгебраическом обобщении квантово-механического формализма", написанная в соавторстве с П. Иорданом и Е. Вигнером.

Незадолго до первого визита в Принстон фон Нейман женился на Мариэтте Кевуши, а в 1935 году у них родилась дочь Марина.

В 1936 фон Нейман совместно с Дж. Биркгофом пишет статью "Логика квантовой механики".

В 1937 году брак фон Неймана распался, а из очередной поездки на летние каникулы в Будапешт в 1938 фон Нейман вернулся со второй женой - Кларой Дан. Позднее, во время второй мировой войны, Клара фон Нейман стала программисткой. Ей принадлежат первые программы для электронных вычислительных машин, в разработку и создание которых её муж внёс большой вклад.

Первыми профессорами Института высших исследований в Принстоне стали Освальд Веблен (в 1932 году) и Альберт Эйнштейн (1933). В том же 1933 этой высокой чести был удостоен и Джон фон Нейман.

В 1938 вышла работа фон Неймана "О бесконечных прямых произведениях". Первая ЭВМ была построена в 1943-1946 годах в школе инженеров-электриков Мура Пенсильванского университета и получила название ЭНИАК (по первым буквам английского названия - электронный цифровой интегратор и вычислитель). Фон Нейман подсказал её разработикам, как можно модифицировать ЭНИАК, чтобы упростить его программирование.

А вот в создании следующей машины - ЭДВАК (электронный автоматический вычислитель с дискретными переменными) фон Нейман принял более активное участие. Он разработал подробную логическую схему машины, в который структурными единицами были не физические элементы цепей, а идеализированные вычислительные элементы. Использование идеализированных вычислительных элементов стало важным шагом вперед, так как позволило отделить создание принципиальной логической схемы от ее технического воплощения. Также фон Нейман предложил ряд инженерных решений.

Фон Нейман предложил использовать в качестве элементов памяти не линии задержки, а электронно-лучевой трубки (электростатическая запоминающая система), что должно было сильно повысить быстродействие. При этом можно было обрабатывать все разряды машинного слова параллельно. Эта машина была названа ДЖОНИАК - в честь фон Неймана. С помощью ДЖОНИАКА были осуществлены важные расчеты при создании водородной бомбы.

В 1944 увидела свет работа фон Неймана и О. Моргенштерна "Теория игр и экономического поведения". В конце сороковых годов, накопив практический опыт создания компьютеров, фон Нейман приступил к созданию общей математической (логической) теории автоматов. Различия между теорией автоматов фон Неймана и кибернетикой Винера несущественны и обусловлены личным вкусом их создателей, а не принципиальными соображениями. Теория фон Неймана посвящена, в основном, дискретной математике, в то время как у Винера - непрерывной.

Страницы: 1 2 3

Кризисные явления на селе
Огромные трудности пришлось испытать деревне в годы форсированного скачка ее к социалистическому переустройству. В конце 1929 г. в нарушение ранее принятых решений была провозглашена политика сплошной коллективизации сельского хозяйства. ...

Общие итоги.
Общие итоги. В войне 1877/78 гг. наблюдаем временами чрезвычайно энергичные и успешные действия русских войск — например форсирование зимой, в первый раз во всемирной истории, Балканского хребта, при этом в наиболее его труднодоступной ч ...

Общественная обработки земли
Пропаганда общественной обработки земли как формы ведения совместного хозяйства объяснялась довольно простой ее организацией, с невысоким уровнем обобществления средств производства. (Следует различать эту форму организации хозяйства от о ...