close
Vai al contenuto

Paul Bernays

Da Wikipedia, l'enciclopedia libera.
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.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàVIAF (EN) 39455306 · ISNI (EN) 0000 0001 0889 8319 · SBN MILV073639 · LCCN (EN) n50007396 · GND (DE) 11865845X · BNF (FR) cb12361656q (data) · J9U (EN, HE) 987007258393105171 · NDL (EN, JA) 00463185 · CONOR.SI (SL) 159629155