Enrique Rodriguez - Камень, ножницы, теорема. Фон Нейман. Теория игр.

Фон Нейман привел и третий пример, в котором углублялся в область логики и философии. Может показаться, что в них нет ничего эмпирического, как в случае с теорией множеств, заставившей пересмотреть основания математики. От таких абстрактных систем можно ожидать абсолютной строгости, которая развеивает и тень сомнения по поводу истинности устанавливаемых истин. И тем не менее теоремы Гёделя нанесли удар математике и не оставили ей шанса на обретение непротиворечивых логических оснований. Перед лицом этого отрицания непротиворечивости фон Нейман предложил принимать математику такой, какая она есть, — как реальность, которую мы исследуем, так же как мы принимаем существование электрона, — а это в каком-то смысле возвращает данной науке ее эмпирический характер. Дословно он сказал следующее:

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

16 февраля 1956 года президент Дуайт Эйзенхауэр наградил фон Неймана, члена Комиссии по атомной энергии, медалью Свободы за его ценный вклад в работу над безопасностью США.

Фон Нейман читает лекцию о своей работе над вычислительными машинами в Американском философском обществе.

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

В конце статьи он предупреждал об опасности того, что математика может слишком далеко отойти от своих источников. Слишком узкая специализация абстрактной математики и ее постоянное отдаление от реальности могут привести к вырождению. Фон Нейман писал:

«В любом случае, если дело дойдет до этой точки, мне кажется, что единственным спасением будет возвращение к источнику: к введению более или менее эмпирических идей. Я убежден, что это необходимое условие для того, чтобы математика сохраняла свою свежесть и жизнеспособность, и что оно будет действенным и в будущем».

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

Aspray, W .John von Neumann у los origenes de la computation modema, Barcelona, Gedisa, 1993.

Bell, E.T., Losgrandes matemdticos, Buenos Aires, Losada, 2010.

Boyer, C., Historia de la matemdtica, Madrid, Alianza Editorial, 2007.

Davis, M.D., Teoria deljuego, Madrid, Alianza Universidad, 1977.

Heims, S.J.,/. von Neumann у N. Wiener, Barcelona, Editorial Salvat, 1986.

Israel, G. у Millän Gasca, A., El mundo сото un juego matemdtico, Tres Cantos (Madrid), Nivola, 2001.

Kline, M., El pensamiento matemdtico de la Antigüedad a nuestros dias, Madrid, Alianza Universidad, 1999.

Mosteri'n, J., Los logicos, Madrid, Espasa Calpe, 2000.

Neumann, J. von, El ordenadory el cerebro, Barcelona, Antoni Bosch editor, 1999. —: Fundamentes matemdticos de la mecdnica cudntica, Madrid, Instituto de Matemäticas Jorge Juan, 1949.

Odifreddi, R, La matemdtica del siglo xx, Madrid, Katz Barpal Editores, 2006.

Pena, R., De Euclides a Java: Historia de los algoritmos у de los lenguajes de programation, Madrid, Nivola, 2006.

Poundstone, W., El dilema delprisionero, Madrid, Alianza, 2006.

Stewart, I., Historia de las matemdticos, Barcelona, Critica, 2008.

EDVAC 116

ENI АС 112-120

IAS (Институт перспективных исследований) 13, 71, 99

Абердин 116

абстрактный автомат 136

самовоспроизводящийся 137