In the foundations of mathematics, von Neumann–Bernays–Gödel set theory is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel–choice set theory. NBG introduces the notion of
Kurt Gödel, c. 1926
Paul Bernays
John von Neumann
Videos
John von Neumann was a Hungarian and American mathematician, physicist, computer scientist and engineer. Von Neumann had perhaps the widest coverage of any mathematician of his time, integrating pure
Von Neumann–Bernays–Gödel set theory
…other constructions, for handling the set-theoretic paradoxes, and for stating the axiom of global choice, which is stronger than ZFC's axiom of choice. John von Neumann introduced classes into set theory in 1925. The primitive notions of his theory were function and argument. Using these notions, he defined class and…
Excerpt from the university calendars for 1928 and 1928/29 of the Friedrich-Wilhelms-Universität Berlin announcing Neumann's lectures on the theory of functions II, axiomatic set theory and mathematical logic, the mathematical colloquium, review of recent work in quantum mechanics, special functions of mathematical physics and Hilbert's proof theory. He also lectured on the theory of relativity, set theory, integral equations and analysis of infinitely many variables.
Von Neumann's gravestone
Von Neumann's memorial plaque on the wall of his birthplace in Budapest, 5th district Báthory u. 26.
The AVIDAC computer was partially based on the architecture of the IAS machine developed by von Neumann.