Paul Bernays (Londra, 17 ottobre 1888 – Zurigo, 18 settembre 1977) è stato un matematico svizzero, conosciuto per i suoi contributi in logica matematica, teoria degli insiemi e filosofia della matematica. È stato assistente e collaboratore di David Hilbert, sotto la supervisione del quale redasse a Gottinga una tesi di abilitazione sul tema dell'assiomatica del calcolo proposizionale dei Principia Mathematica di Whithehead e Russell. La tesi di abilitazione di Bernays contiene la prima prova nota della completezza semantica della logica proposizionale, dimostrata in seguito, indipendentemente, anche da Post.
Insieme allo stesso Hilbert, fu inoltre co-autore dei due volumi della monumentale opera Grundlagen der Mathematik.
Altri progetti
- Wikimedia Commons contiene immagini o altri file su Paul Bernays
Collegamenti esterni
- Bernays, Paul, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Bernays, Paul, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
- Bernays, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (IT, DE, FR) Paul Bernays, su hls-dhs-dss.ch, Dizionario storico della Svizzera.
- (EN) Paul Isaak Bernays, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Paul Bernays, su MacTutor, University of St Andrews, Scotland.
- (EN) Paul Bernays, su Mathematics Genealogy Project, North Dakota State University.
- Opere di Paul Bernays, su MLOL, Horizons Unlimited.
- (EN) Opere di Paul Bernays, su Open Library, Internet Archive.
- (EN) Paul Bernays, su Goodreads.
