Bernays, Paul

Dizionario di filosofia (2009)

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.

TAG

Teoria degli insiemi

Sistema assiomatico

Gottinga

Helsinki

Londra