Paul Bernays
Vai alla navigazione
Vai alla ricerca
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
[modifica | modifica wikitesto]- Wikimedia Commons contiene immagini o altri file su Paul Bernays
Collegamenti esterni
[modifica | modifica wikitesto]- 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.
Controllo di autorità | VIAF (EN) 39455306 · ISNI (EN) 0000 0001 0889 8319 · LCCN (EN) n50007396 · GND (DE) 11865845X · BNF (FR) cb12361656q (data) · J9U (EN, HE) 987007258393105171 · NDL (EN, JA) 00463185 · CONOR.SI (SL) 159629155 |
---|