Философская энциклопедия - нейман

НЕ́ЙМАН

(Neumann), Джон (Янош) фон (28 дек. 1903 – 8 февр. 1957) – математик и логик, с 1930 жил в США. Проф. Принстонского ун-та (с 1930), президент Амер. математич. об-ва (1951–53). Н. – автор работ в различных областях науки (математическая логика, алгебра, теория множеств, теория вероятностей, механика квантовая), один из создателей теории игр и матем. экономики. Ранние работы Н. в области оснований математики и матем. логики посвящены аксиоматизации теории множеств и проблемам непротиворечивости аксиоматич. систем. Н. высказывал идею о принципиальных границах аксиоматизации, нашедшую впоследствии выражение в теореме Гёделя о неполноте. Н. сыграл большую роль в возникновении и развитии кибернетики. Он разработал осн. идеи и был практич. участником создания первых цифровых вычислит. машин (1943). Ему принадлежат основополагающие работы в области изучения осн. принципов строения управляющих систем. В работе "Общая и логическая теория автоматов" (см. А. Тьюринг, Может ли машина мыслить?, М., 1960, с. 59–101) Н. выдвинул идею включения в логику категории времени, что, по его мнению, предотвращает появление различного рода порочных кругов и антиномий.

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

Лит.: Ulam S., J. von Neumann. 1903–1957, "Bull. Amer. Math. Soc.", 1958, v. 64, No 3, pt 2 (имеется подробная библ. работ H.); Shannon С. Ε., Von Neumann's contributions to automata theory, там же.

В. Донченко. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.