Bernays, Paul

Enciclopedia on line

Logico e matematico svizzero (Londra 1888 - Zurigo 1977), dal 1922 prof. all'univ. di Gottinga, insegnò poi a Helsinki e Zurigo; condirettore della rivista Dialectica. Allievo e collaboratore di D. Hilbert, fu con lui autore delle Grundlagen der Mathematik (1934-39). Al suo nome è legata una notissima assiomatizzazione della teoria degli insiemi (Axiomatic Set Theory, 1958). Il sistema assiomatico di B., che sviluppa quello di J. L. von Neumann, è stato studiato anche da K. Gödel: è perciò noto come sistema di von Neumann-Bernays-Gödel, per differenziarlo dal sistema di Zermelo-Fraenkel. Gli ultimi contributi di B. concernono lo studio dell'introduzione di schemi di forte infinità in teoria assiomatica degli insiemi.

Vedi anche
Zermelo, Ernst Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, ma soprattutto alla teoria degli insiemi. Il postulato (1904) che da lui prende il nome, secondo il ... David Hilbert {{{1}}} Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con A. Hurwitz, già professore, e con H. Minkowski, suo condiscepolo. Dal 1895 al 1929 fu prof. all'univ. ... lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... Kurt Gödel Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) denominato Wiener Kreis. Dopo il 1938 emigrò negli USA, di cui prese la cittadinanza nel 1948. ...
Categorie
Tag
Altri risultati per Bernays, Paul
  • Bernays
    Enciclopedia della Matematica (2013)
    Bernays Paul Isaac (Londra 1888 - Zurigo 1977) logico e matematico svizzero. Diede importanti contributi ai fondamenti logici della matematica e alla teoria assiomatica degli insiemi. Vittima delle leggi razziali, perse nel 1933 la venia legendi all’università di Göttingen, ma continuò per qualche anno ...
  • Bernays, Paul
    Dizionario di filosofia (2009)
    Logico e matematico svizzero (Londra 1888 - Zurigo 1977). Dal 1922 prof. all’univ. di Gottinga, insegnò poi a Helsinki e Zurigo; fondò (assieme a Bachelard e Gonseth) la rivista Dialectica. Allievo e collaboratore di Hilbert, fu con lui autore delle Grundlagen der Mathematik (1934-39). Al suo nome è ...
Vocabolario
paulo maiora canamus
paulo maiora canamus ‹pàulo ...› (lat. «cantiamo cose un poco più nobili»). – Emistichio di Virgilio (Egl. IV, 1), spesso ripetuto come invito a trattare argomenti più elevati o per manifestare l’intenzione di passarvi.
pauliano
pauliano agg. [dal lat. tardo Paulianus]. – Che si riferisce al giurista romano Iulius Paulus (2° sec. d. C.): azione p. (nel diritto romano actio pauliana), in diritto civile, lo stesso che azione revocatoria (v. revocatorio).