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 [...] 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
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] di von Neumann.
Per la teoria semplificata dei tipi, ➔ tipo; per le teorie assiomatiche degli insiemi del tipo di Zermelo, Fraenkel, Skolem, ➔ insieme.
Medicina
Si dice di fenomeno o reazione che si svolge in senso opposto a quello che in linea ...
Leggi Tutto
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
CATEGORIE, Teoria delle
Enciclopedia Italiana - IV Appendice (1978)
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] la classe universale che contiene tutti gl'insiemi come elementi; oppure nell'assumere la teoria degl'insiemi con gli assiomi di Zermelo-Fraenkel, e postulare inoltre l'esistenza di un universo U definito come un insieme (di insiemi) soggetto a certe ...
Leggi Tutto
SKOLEM, Thoralf
Enciclopedia Italiana - V Appendice (1994)
SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] ha anche un modello numerabile, con una relativizzazione della nozione d'insieme. In particolare, poiché la teoria degli insiemi di Zermelo-Fraenkel si basa su un sistema di assiomi con cardinalità finita ed è soddisfacibile in un dominio, allora è ...
Leggi Tutto
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
La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] di Cantor. Il matematico Paul J. Cohen dimostra che l'ipotesi del continuo è indipendente dalla teoria degli insiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco Kurt Gödel aveva già dimostrato, nel 1940 ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] che è forse il risultato più celebre di Woodin: l'equiconsistenza dell''assioma di determinatezza' (AD) nella teoria di Zermelo-Fraenkel (ZF) e dell'esistenza di infiniti cardinali di Woodin (in ZFC). L'assioma di determinatezza è stato proposto da ...
Leggi Tutto
Logica matematica
Enciclopedia del Novecento (1978)
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] della teoria degli insiemi sia indipendente o no dai rimanenti in un dato sistema, ad esempio il sistema di Zermelo-Fraenkel. Fraenkel stesso dimostrò (1922) che, in tale sistema, l'assioma della scelta non può essere dedotto dagli altri assiomi ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] , Paul Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG (Bernays-Gödel). Con l'aggiunta dell'assioma di scelta, essi forniscono sistemi estremamente flessibili in cui tutta la teoria cantoriana degli ...
Leggi Tutto