Словарь по логике
Нейман
- Джон (Янош) фон Нейман, J. von Neumann (1903, Будапешт - 1957)
- Математик и логик венгерского происхождения. Работы в области математической логики, теории множеств и теории вероятности. Один из создателей теории игр. Выдвигал идеи временной логики. Высказывался за отказ от абстракции потенциальной осуществимости в теории автоматов.
В 1926 закончил Будапештский университет, преподавал в Германии. В 1930 эмигрировал в США и стал профессором Принстонского университета. В 1940-х участник Манхеттенской группы по созданию атомной бомбы. С 1944 принимал участие в работе группы по созданию ЭНИАК, а в 1946 совместно в А. Берксом и Г. Гольдстейном выпустил отчет "Предварительное обсуждение логической конструкции электронной вычислительной машины", где обсуждалось устройство ЭВМ, получившее впоследствии название архитектуры фон Неймана. В 1944 совместно с экономистом О. Моргенштерном выпустил книгу "Теория игр и экономическое поведение", в которой была разработана теория игр и обсуждалось ее применение в экономике, военном деле и др. областях.
Другие сочинения:Вероятностная логика и синтез надежных организмов из ненадежных компонентов (1956), Общая и логическая теория автоматов, Теория самовоспроизводящихся автоматов (посмертно, под редакцией А. Беркс).
© Автор статьи.