Paul Bernays

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.

Paul Bernays (a sinistra)

Insieme allo stesso Hilbert, fu inoltre co-autore dei due volumi della monumentale opera Grundlagen der Mathematik.

Altri progetti

Altri progetti

• Wikimedia Commons

• 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.