Роль Джона фон Неймана в истории создания вычислительной техники

ФЕДЕРАЛЬНОЕ АГЕНТСТВО  ЖЕЛЕЗНОДОРОЖНОГО ТРАНСПОРТА

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ  УНИВЕРСИТЕТ  
ПУТЕЙ СООБЩЕНИЯ (МИИТ)

 

Кафедра "Системы автоматизированного проектирования" 

 

Реферат на тему:

«Роль Джона фон Неймана  в истории создания вычислительной техники»

 

Выполнила: студентка 
группы САП-311 Ефимчук К.В. Агафонова А.Н

Проверил:  Смирнов В.Ю.

Москва 2012

 

 

Джон фон Нейман

«Если люди отказываются верить в простоту математики, то это только потому, что они не понимают всю сложность жизни.»

«Всякий, кто питает слабость к арифметическим методам получения случайных чисел, грешен вне всяких сомнений.»

 

Джон  фон Нейман (3 декабря 1903, Будапешт - 8 февраля 1957, Вашингтон) - американский математик и физик. Труды по функциональному анализу, квантовой механике, логике, метеорологии. Внес большой вклад в создание первых ЭВМ и разработку методов их применения. Его теория игр сыграла важную роль в экономике.

Янош  фон Нейман был старшим из трех сыновей преуспевающего будапештского  банкира Макса фон Неймана. Позже, в Цюрихе, Гамбурге и Берлине, Яноша  называли Иоганном, а после переезда в США - Джоном (дружески - Джонни).

Фон Нейман был продуктом той интеллектуальной среды. из которой вышли такие выдающиеся физики, как Эдвард Теллер, Лео Сциллард, Денис Габор и Юджин Вигнер. Джон выделялся среди них своими фенеменальными способностями. В 6 лет он перебрасывался с отцом остротами на древнегреческом, а в 8 освоил основы высшей математики. 

В юные годы Янош занимался дома со специально приглашенными педагогам, а в возрасте 10 лет поступил в одно из лучших учебных заведений того времени - лютеранскую гимназию. Еще в школе фон Нейман заинтересовался математикой. Гения в фон Неймане распознал преподаватель математики Ласло Ратц. Он и помог ему развить его дарование.  Ратц ввел фон Неймана в небольшой, но блестящий кружок будапештских математиков того времени, который возглавлял духовный отец венгерских математиков Липот Фейер. Помогать фон Неймону было поручено ассистенту Будапештского университета М. Фекете: а общее руководство взял на себя выдающийся педагог: профессор Йожеф Кюршак. 

Атмосфера универсиета и беседы с математиками и внимание со стороны Фейера помогло сформироваться фон Нейману как математику, также как изучение университетских курсов.  
К моменту получения аттестат зрелости Янош фон Нейман пользовался у математиков репутацией молодого дарования. 

Его первая печатная работа была написана совместно с М. Фекете "О расположении нулей некоторых минимальных полиномов"(1921) вышла в свет, когда фон Нейману было 18 лет.  
Вскоре фон Нейман окончил гимназию. Макс фон Нейман не считал профессию математика достаточно надежной, способной обеспечить будущее сына. Он настоял на том, чтобы Янош приобрел еще и профессию инженера-химика. Поэтому Янош поступил в Федеральную высшую техническую школу в Цюрихе, где изучал химию, и одновременно на математический факультет Будапештского университета. 

Благодаря такому совмещению, у него было свободное  посещение лекций, поэтому он появлялся  в Будапеште только в конце  семестра, для сдачи экзаменов. Потом  он уезжал в Цюрих или Берлин, но не для того чтобы изучать химию, а для подготовки к печати своих  работ, бесед с коллегами-математиками, посещения семинаров. 

Фон Нейман считал, что о этот период он очень много узнал у двух математиков: Эрхарда Шмидта и Германа Вейля. Когда Вейлю поднадобилось отлучиться во время семестра, то чтение курса за него продолжил фон Нейман. 

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

Фон Нейман разработал свою систему аксиом и изложил ее в докторской диссертации  и двух статьях. Диссертация сильно заинтересовала А. Френкеля, которому поручили отрецензировать ее. Несмотря на то, что он не смог разобраться  в ней полностью, он пригласил  к себе фон Неймана. Он Френкель попросил его написать популярную статью, в  которой излагались бы новый подход к проблеме и следствия, извлекаемые  из его. Фон Нейман написал такую работу, назвав ее "К вопросу об аксиоматическом построении теории множеств". Она была опубликована в 1925 году а "Journal fuer Mathematik".  
Фон Нейман построил замечательную систему аксиом теории множеств, такую же простую, как гильбертовая для евклидовой геометрии. Система аксиом фон Неймана занимает немногим более одной страницы печатного текста. 

В 1925 фон Нейман получает диплом инженера-химика в Цюрихе и успешно защищает диссертацию "Аксиоматическое построение теории множеств" на звание доктора философии в Будапештском университете. 

Молодой доктор отправляется совершенствовать свои знания в Геттингенский университет, где в то время читали лекции люди, чьи имена стали гордостью науки: К. Рунге, Ф. Клейн, Э. Ландау, Д. Гильберт, Э. Цермело, Г. Вейль, Г. Минковский, Ф. Франк, М. Борн и другие. Приглашенными лекторами были Г. Лоренц, Н. Бор, М. Планк, П. Эренфест, А. Пуанкаре, А. Зоммерфельд... 

На  фон Неймана очень большое  влияние оказало общение с  Давидом Гильбертом.  
В Геттингене фон Нейман познакомился с идеями зарождавшейся тогда квантовой механики, ее математическое обоснование сразу захватило. Совместно с Д. Гильбертом и Л. Нордгеймом фон Нейман написал статью "Об основаниях квантовой механики". Потом выпускает серию работ "Математическое обоснование квантовой механики", "Теоретико-вероятностное построение квантовой механики" и "Термодинамика квантовомеханических систем". В работах фон Неймана квантовая механика обрела свой естественный язык - язык операторов, действующих в гильбертовом пространстве состояний. В его работах была подведена прочная математическая основа под статистическую интерпретацию квантовой механики, введено новое понятие матрицы плотности, доказан квантовый аналог H-теоремы Больцмана и эргодической теоремы. На основе этих работ фон Нейман начал другой цикл - по теории операторов, благодаря которым он считается основоположником современного функционального анализа. Фон Нейман показал, что "слишком вольное" обоснование теории {Дирака} можно обосновать в терминах аксиоматической теории гильбертова пространства и спектральной теории операторов. 

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

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

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

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

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

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

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

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

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

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

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

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

Из 150 трудов Неймана лишь 20 касаются проблем  физики, остальные же равным образом  распределены между чистой математикой  и ее практическими приложениями, в том числе теорией игр  и компьютерной теорией.

Нейману принадлежат новаторские работы по компьютерной теории, связанные  с логической организацией компьютеров, проблемами функционирования машинной памяти, имитацией случайности, проблемами самовоспроизводящихся систем. В 1944 Нейман присоединился к группе Мокли и Эккерта, занятой созданием машины ENIAC, в качестве консультанта по математическим вопросам. Тем временем в группе началась разработка новой модели, EDVAC, которая, в отличие от предыдущей, могла бы хранить программы в своей внутренней памяти. В 1945 Нейман опубликовал «Предварительный доклад о машине EDVAC», в котором описывалась сама машина и ее логические свойства. Описанная Нейманом архитектура компьютера получила название «фон Неймановской», и таким образом ему было приписано авторство всего проекта. Это вылилось впоследствии в судебное разбирательство о праве на патент и привело к тому, что Эккерт и Мокли покинули лабораторию и основали собственную фирму. Тем не менее «архитектура фон Неймана» была положена в основу всех последующих моделей компьютеров. В 1952 Нейман разработал первый компьютер, использующий программы, записанные на гибком носителе, MANIAC I.

Секретом  успеха Неймана иногда считают его  «аксиоматический метод». Он рассматривал предмет, сконцентрировавшись на его  основных свойствах (аксиомах), из которых  вытекает все остальное.

Одной из утопических идей Неймана, для  разработки которой он предлагал использовать компьютерные расчеты, было искусственное потепление климата на Земле, для чего преполагалось покрыть темной краской полярные льды чтобы уменьшить отражение ими солнечной энергии. Одно время это предложение всерьез обсуждалось во многих странах. 
В 1956 Комиссия по атомной энергии наградила Неймана премией Энрико Ферми за выдающийся вклад в компьютерную теорию и практику.

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

Джон  фон Нейман был удостоен высших академических  почестей. Он был избран членом Академии точных наук (Лима, Перу), Академии деи Линчеи (Рим, Италия), Американской академии искусств и наук, Американского философского общества, Ломбардского института наук и литературы, Нидерландской королевской акдаемии наук и искусств, Национальной академии США, почетным доктором многих университетов США и других стран.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Основы учения об архитектуре вычислительных машин  заложил выдающийся американский математик  Джон фон Нейман. Он подключился  к созданию первой в мире ламповой ЭВМ ENIAC в 1944 г. И подготовил доклад об этой машине. В этом докладе фон Нейман ясно и просто сформулировал общие принципы функционирования универсальных вычислительных устройств, т.е. компьютеров. Это первая действующая машина, построенная на вакуумных лампах, официально была введена в эксплуатацию 15 февраля 1946 года. Эту машину пытались использовать для решения некоторых задач, подготовленных фон Нейманом и связанных с проектом атомной бомбы. Затем она была перевезена на Абердинский полигон, где работала до 1955 года.  ENIAC стал первым представителем 1-го поколения компьютеров. Любая классификация условна, но большинство специалистов согласилось с тем, что различать поколения следует исходя из той элементной базы, на основе которой строятся машины. Таким образом, первое поколение представляется ламповыми машинами. Необходимо отметить огромную роль американского математика фон Неймана в становлении техники первого поколения. Нужно было осмыслить сильные и слабые стороны ENIAC и дать рекомендации для последующих разработок. В отчете фон Неймана и его коллег Г. Голдстайна и А.Беркса (июнь 1946 года) были четко сформулированы требования к структуре компьютеров.     Отметим важнейшие из них:   · машины на электронных элементах  должны работать не в десятичной, а  в двоичной системе счисления;  · программа, как и исходные данные, должна размещаться в памяти машины;  · программа, как и числа, должна записываться в двоичном коде;  · трудности физической реализации запоминающего устройства, быстродействие которого соответствует скорости работы логических схем, требуют иерархической организации памяти, то есть выделения оперативной, промежуточной и долговременной памяти;  · арифметическое устройство (процессор) конструируется на основе схем, выполняющих операцию сложения; создание специальных устройств для выполнения других арифметических и иных операций нецелесообразно;  · в машине используется параллельный принцип организации вычислительного процесса (операции над числами производятся одновременно по всем разрядам).