Bernays

Bernays

Bernays Paul Isaac (Londra 1888 - Zurigo 1977) logico e matematico svizzero. Diede importanti contributi ai fondamenti logici della matematica e alla teoria assiomatica degli insiemi. Vittima delle leggi razziali, perse nel 1933 la venia legendi all’università di Göttingen, ma continuò per qualche anno a collaborare con D. Hilbert. Nel 1939 si trasferì a Zurigo, dove, dopo la seconda guerra mondiale, divenne professore. Fu coautore con Hilbert dei monumentali Grundlagen der Matematik (Fondamenti della matematica, 1934-39). Tra le sue opere più importanti è la Axiomatic set theory (Teoria assiomatica degli insiemi, 1958), nella quale viene data una sistematizzazione, di esemplare efficacia e semplicità, dei rapporti tra gli insiemi, intesi come oggetti matematici, e le classi, intese come estensioni di proprietà logiche. Per differenziarlo dal sistema di Zermelo-Fraenkel, il sistema assiomatico di Bernays è noto come sistema di von Neumann-Bernays-Gödel in quanto sviluppa quello di J.L. von Neumann ed è stato studiato anche da K. Gödel.