Bernays

Enciclopedia della Matematica (2013)

Bernays


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 a collaborare con D. Hilbert. Nel 1939 si trasferì a Zurigo, dove, dopo la seconda guerra mondiale, divenne professore. Fu coautore con Hilbert dei monumentali Grundlagen der Matematik (Fondamenti della matematica, 1934-39). Tra le sue opere più importanti è la Axiomatic set theory (Teoria assiomatica degli insiemi, 1958), nella quale viene data una sistematizzazione, di esemplare efficacia e semplicità, dei rapporti tra gli insiemi, intesi come oggetti matematici, e le classi, intese come estensioni di proprietà logiche. Per differenziarlo dal sistema di Zermelo-Fraenkel, il sistema assiomatico di Bernays è noto come sistema di von Neumann-Bernays-Gödel in quanto sviluppa quello di J.L. von Neumann ed è stato studiato anche da K. Gödel.

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. ... 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. ... 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 ...
Tag
Altri risultati per Bernays
  • 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 è ...
  • 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 ...