Bernays, Paul
Logico e matematico svizzero (Londra 1888 - Zurigo 1977). Dal 1922 prof. all’univ. di Gottinga, insegnò poi a Helsinki e Zurigo; fondò (assieme a Bachelard e Gonseth) la rivista Dialectica. Allievo e collaboratore di Hilbert, fu con lui autore delle Grundlagen der Mathematik (1934-39). Al suo nome è legata una notissima assiomatizzazione della teoria degli insiemi (Axiomatic set theory, 1958). Il sistema assiomatico di B., che sviluppa quello di J.L. von Neumann, è stato studiato anche da Gödel: è perciò noto come sistema di von Neumann-Bernays-Gödel, per differenziarlo dal sistema di Zermelo-Fraenkel. Gli ultimi contributi di B. concernono lo studio dell’introduzione di schemi di forte infinità in teoria assiomatica degli insiemi.