X-Nico

unusual facts about Von Neumann–Bernays–Gödel Set Theory



APEXC

In 1947, along with his collaborator and future spouse Kathleen Britten, he spent a few months with von Neumann's team, which was the leading edge in computer research at the time.

Arthur Rubin

Rubin's dissertation was entitled Free Algebras in Von Neumann–Bernays–Gödel Set Theory and Positive Elementary Inductions in Reasonable Structures.

Bernays

Martha Bernays (1861-1951), granddaughter of Isaac Bernays and wife of Sigmund Freud

Robert Bernays (1902-1945), Liberal MP, great-grandson of Adolphus Bernays

Paul Bernays (1888-1977), a Swiss mathematician born in London, a great-grandson of Isaac

David Hilbert

"The foundations of mathematics," with comment by Weyl and Appendix by Bernays, 464–89.

Hilbert–Bernays provability conditions

In mathematical logic, the Hilbert–Bernays provability conditions, named after David Hilbert and Paul Bernays, are a set of requirements for formalized provability predicates in formal theories of arithmetic (Smith 2007:224).

Joe Van Moyland

Bernays has appeared in a number of television shows, most notably in The Tudors, where he played the famous composer Thomas Tallis.

Joseph Justus Scaliger

A complete list of the works of Joseph will be found in his life by Bernays.

Lewis Adolphus Bernays

Lewis Adolphus Bernays CMG (3 May 1831 – 22 August 1908) was a public servant and agricultural writer in Queensland, Australia.

Bernays was the son of Dr Adolphus Bernays (a brother of Chakam Isaac Bernays), a professor of German language and literature at King's College London, and his wife Martha, née Arrowsmith, and was born in London.

Robert Bernays

Wood was succeeded, upon being appointed Secretary of State for Air in May 1938, by Bernays's old friend and occasional political patron Walter Elliot.

Sergey Yablonsky

Yablonsky and his students were ones of the first in the world to raise the issues of potentially inherent unavoidability of the brute force search for some problems, the precursor of the P = NP problem, though Gödel's letter to von Neumann, dated 20 March 1956 and discovered in 1988, may have preceded them.

Tit for tat

Evolutionary game theory, derived from the mathematical theories formalised by von Neumann and Morgenstern (1953), was first devised by Maynard Smith (1972) and explored further in bird behaviour by Robert Hinde.

Werner Döring

He is remembered today for the Becker–Döring theory of nucleation of liquid droplets in solids (in condensed matter physics), and for the Zel'dovich–von Neumann–Döring detonation model (in explosives engineering).


see also