Paul Bernays

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Paul Bernays (a sinistra)

Paul Bernays (Londra, 17 ottobre 1888Zurigo, 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]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàVIAF (EN39455306 · ISNI (EN0000 0001 0889 8319 · LCCN (ENn50007396 · GND (DE11865845X · BNF (FRcb12361656q (data) · J9U (ENHE987007258393105171 · NDL (ENJA00463185 · CONOR.SI (SL159629155