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 [...] sua famosa lista di problemi con "il problema di Cantor del numero cardinale del continuo: ogni sistemadi infiniti numeri reali non ci sono più discussioni sugli assiomidiZermelo-Fraenkel; anche l'assiomadi scelta non suscita più perplessità da ...
Leggi Tutto
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 [...] trattamento formale disistemi simbolici, in di M L. Dalla Chiara Scabia), Torino 1973 (cap. VI); A. A. Fraenkelassiomazermeliano della scelta e dell'ipotesi cantoniana del continuo; questa, nel caso più semplice, afferma che non esistono insiemi di ...
Leggi Tutto
Fisica
Nella meccanica statistica classica con i. statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè [...] uno di tali sistemi assiomatici, quello appunto diZermelo, in una versione modificata e integrata da A. Fraenkel e ’i. che ha uno e un solo elemento in comune con ogni elemento di A; g) assioma dell’infinito: esiste l’i. A tale che A contiene l’i. ...
Leggi Tutto
logica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» in un ambiente protostoico, pur conservando λογικός per tutta la grecità il [...] assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistema formale ‘più vero’ di R.M. Robinson); la teoria degli insiemi (E. Zermelo, A. Fraenkel, Bernays, J. Von Neumann, Gödel, T.A. ...
Leggi Tutto
ZermeloZermelo Ernst (Berlino 1871 - Friburgo, Baden-Württemberg, 1953) matematico tedesco. Seguì corsi universitari in matematica (a Berlino), in fisica (a Halle) e in filosofia (a Friburgo). Conseguì [...] Perfezionato, nei primi anni Venti, da A. Fraenkel e T.A. Skolem, il sistema assiomatico diZermelo è usato oggi dalla quasi totalità dei matematici come una base per la teoria degli insiemi e per l’intera matematica (→ Zermelo-Fraenkel, teoria di). ...
Leggi Tutto
FRAENKEL, Abraham Adolf Halevi
Matematico israeliano di origine tedesca, nato a Monaco il 17 febbraio 1891 e morto a Gerusalemme il 15 ottobre 1965. Professore e direttore dell'Istituto matematico a [...] da base a tutte le teorie matematiche. Introdusse perciò l'assiomadi rimpiazzamento costituendo così il nuovo sistema assiomatico detto diZermelo-Fraenkel, che tuttora è il sistema più diffuso per la teoria assiomatica degl'insiemi. Anticipò ...
Leggi Tutto
paradosso
Dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; lat. paradoxum. Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, [...] in conformità a certi assiomi. A partire dal 1922, soprattutto per opera di A.A.H. Fraenkel e di Skolem, la teoria assiomatica diZermelo fu perfezionata sia nel senso che si cercò di precisare il concetto di «predicato definito», troppo generico ...
Leggi Tutto
coerenza
coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] , come per esempio in quella formalizzata dagli assiomidiZermelo-Fraenkel.
La coerenza di un sistemadiassiomi è correlata all’esistenza di un modello, ovvero un insieme di oggetti che soddisfino gli assiomi della teoria; una teoria è coerente se ...
Leggi Tutto
FraenkelFraenkel Abraham Adolf Halevi (Monaco di Baviera 1891 - Gerusalemme 1965) matematico israeliano di origine tedesca. È noto per i suoi studi sui fondamenti della matematica e in algebra, in cui [...] completamento del sistema assiomatico della teoria degli insiemi di E. Zermelo (con l’introduzione dell’assiomadi rimpiazzamento) e la costruzione di quella che oggi è nota come teoria di → Zermelo-Fraenkel. Fraenkel si occupò anche di storia della ...
Leggi Tutto
Neumann-Bernays-Godel, teoria di
Neumann-Bernays-Gödel, teoria di o teoria NBG, sistemadiassiomi per la teoria degli insiemi che si affianca a un’altra sistemazione assiomatica, la teoria di → Zermelo-Fraenkel [...] possibile attribuire un numero cardinale soltanto agli insiemi.
Una estensione del sistemadiassiomi NBG è la teoria di → Morse-Kelley (indicata anche come teoria MK); in essa, nell’assioma NBG0, la formula A(x) può essere una qualunque formula ben ...
Leggi Tutto