Neumann János doktori disszertációját 1926-ban védte meg az ELTE-n a halmazelmélet axiomatikus felépítéséről. Fő újdonsága az volt, hogy csak véges sok axiómát használt, ez az alapja a ma Neumann-Bernays-Gödel (NBG) néven ismert axiómarendszernek. Bár Neumann kevés magyarul írt művei közül ez az egyik, a szöveg holléte nem ismert. Az előadásban ismertetésre kerül a dolgozat történeti háttere, az előadó röviden bemutatja az axiómákat, és megemlíti Neumann szerepét Gödel második nemteljességi tételének bizonyításában, Jan von Plato kutatása alapján.
Idén lenne 120 éves a napjainkban széles körben alkalmazott számítógépek működésének alapelvét megalapozó matematikus, Neumann János. A neumanni örökség ápolása érdekében megrendezett "A gondolkodás architektúrái" esemény egyik előadása tekinthető most meg.
www.inf.elte.hu/
/ elteik
/ elte_ik