John von Neumann (1903 – 1957)

Der Mathematiker John (Johann) von Neumann wurde in Budapest geboren. Er war von 1926 bis 1930 Privatdozent in Berlin und ab 1930 Professor für Mathematik an der Universität Princeton. Er wirkte auch am Institute for Advanced Studies.

John v. Neumann arbeitete auf vielen Gebieten der Mathematik. Er ist der Begründer der Spieltheorie, die als Entscheidungstheorie heute viele Wissenschaften, so z. B. die Ethik und die Ökonomie beeinflußt.

Im Zusammenhang mit seinen Untersuchungen zur Automatentheorie gelangte er zu dem Problem, die Kategorie Zeit in die Logik einzubeziehen. Die Semantiken, die Zeitüberlegungen berücksichtigen, knüpfen heute an diese Überlegungen an.

Andere Fragen der Automatentheorie führten in zu Problemen einer Wahrscheinlichkeitslogik.

Von ihm stammt auch die Idee, dass hinreichend komplizierte Automaten die Fähigkeit der Selbstreproduktion haben.