Cerca in:
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, [...] 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 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Mostowski, Andrzej
Enciclopedia on line
Logico (Leopoli 1913 - Vancouver 1975), dal 1947 prof. all'univ. di Varsavia, dal 1956 membro dell'Accademia delle scienze polacca. È tra i più fecondi logici polacchi del secondo dopoguerra. Ha scoperto [...] e per gli anelli commutativi (1949); ha presentato un'originale formulazione del sistema assiomatico degl'insiemi di Zermelo-Fraenkel (1959). Tra le sue opere: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip (1939), On absolute ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Fraenkel, Abraham Adolf Halevi
Enciclopedia on line
Matematico israeliano di origine tedesca (Monaco 1891 - Gerusalemme 1965). Professore e direttore dell'Istituto matematico a Kiel nel 1928 e professore alla Hebrew University di Gerusalemme dal 1929 al [...] le teorie matematiche; introdusse perciò l'assioma di rimpiazzamento costituendo così il nuovo sistema assiomatico detto di Zermelo-Fraenkel, che tuttora è il sistema più diffuso per la teoria assiomatica degli insiemi. Tra le opere: Zahlentheorie ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE