Cerca in:
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 [...] più diffuso per la teoria assiomatica degli insiemi. Tra le opere: Zahlentheorie (1913, in collab. con K. Hensel); Einleitung in die Mengenlehre (1919); Abstract set theory (1953); Foundations of set theory (1958, in collab. con Y. Bar-Hillel). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] (trad. it., a cura di M L. Dalla Chiara Scabia), Torino 1973 (cap. VI); A. A. Fraenkel, Y. Bar-Hillel, A. Levy, Foundations of set theory, Amsterdam 19732; A. Marruccelli, Teorie formalizzate e logica matematica, Roma 1975; nonché, con riferimento ...
Leggi Tutto
LOGICA MATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] 1971 (con contributi di G. Kreisel, G. E. Sacks, H. Hermes, D. Gabbay, E. Specker); A. A. Fraenkel, Y. Bar-Hillel, A. Levy, Foundations of set theory, ivi 1973; Logical theory and semantic analysis (a cura di S. Stenlund), Dordrecht 1974 (con scritti ...
Leggi Tutto