Cerca in:
LOGICA MATEMATICA
Enciclopedia Italiana - III Appendice (1961)
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] philosphy of mathematics, Amsterdam 1951; id., Leçons de logique algébrique, Parigi-Lovanio 1952; A. Fraenkel, Abstract set theory, Amsterdam 1953; L. Henkin, La structure algébrique des théories mathématiques, Parigi 1956; H. Hermes, Entscheidungs ...
Leggi Tutto
scelta
Enciclopedia on line
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] l’ipotesi del continuo) è compatibile con i rimanenti assiomi delle correnti teorie assiomatiche degli insiemi. Nel 1922 A.A. Fraenkel aveva dimostrato che, sotto certe condizioni, l’assioma di s. è indipendente dai rimanenti assiomi della teoria ...
Leggi Tutto
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 [...] 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 alle prospettive ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] insiemi ben fondati e transitivi, che ispireranno la definizione degli ordinali di von Neumann.
L'assioma di rimpiazzamento pareva a Fraenkel un assioma tipico per la teoria dei cardinali, più che per la teoria generale di base: necessario ma anche ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
rimpiazzamento
Dizionario delle Scienze Fisiche (1996)
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ...
Leggi Tutto
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 [...] Zermelo non era sufficientemente potente per servire da base a tutte le teorie matematiche; introdusse perciò l'assioma di costituendo così il nuovo sistema assiomatico detto di Zermelo-Fraenkel, che tuttora è il sistema più diffuso per la ...
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. [...] ». Questo numero reale è definito con 26 parole, quindi deve appartenere a D, dove occuperà un ben determinato posto, diciamo il p-esimo , Fraenkel, Skolem, ➔ insieme.
Medicina
Si dice di fenomeno o reazione che si svolge in senso opposto a quello ...
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, [...] definita in C, e infine per ogni A ∈ ∣ D ∣, iA ∈ homD(A, A). Se homD(A, B) = homC(A, B) per ogni coppia 〈A, B> di oggetti di D, allora la teoria degl'insiemi con gli assiomi di Zermelo-Fraenkel, e postulare inoltre l'esistenza di un universo ...
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 [...] . In particolare, poiché la teoria degli insiemi di Zermelo-Fraenkel si basa su un sistema di assiomi con cardinalità finita ridurre una formula del linguaggio predicativo con quantificatori a una formula equivalente, in cui i quantificatori si ...
Leggi Tutto