Logico matematico (Schönebecke, Altena, 1896 - Lüdenscheid 1962). Prof. all'università di Münster (dal 1953), membro dell'Accademia delle Scienze di Gottinga. Prima allievo poi collaboratore di D. Hilbert, [...] Nel 1951 dette una versione costruttiva di un segmento della seconda classe di Cantor, e nel 1952-1953 studiò un sistema di teoriadegliinsiemi in cui non compaiono distinzioni di tipi. È autore anche di Solvable cases of the decision problem, 1954. ...
Leggi Tutto
Matematico e logico matematico statunitense (Long Branch, New Jersey, 1934 - Stanford 2007), professore di matematica a Stanford dal 1964. Il suo più importante risultato (teorema di C., 1963) è la dimostrazione [...] dell'indipendenza degli assiomi della teoriadegliinsiemi dall'ipotesi cantoriana del continuo ("non esistono cardinalità intermedie tra quella del numerabile e quella del continuo"); questa dimostrazione è stata realizzata col "metodo del forcing" ...
Leggi Tutto
Matematico statunitense di origine ungherese (Budapest 1913 - Varsavia 1996). Professore presso l'Accademia ungherese delle scienze tecniche, ha insegnato in varie università europee e degli Stati Uniti. [...] di un numero intero, dimostrato in collab. con M. Kac, è alla base della moderna teoria probabilistica dei numeri; con il calcolo delle partizioni nella teoriadegliinsiemi, E. ha creato un nuovo campo di ricerca intermedio tra questa e la logica ...
Leggi Tutto
Matematico statunitense di origine tedesca (n. 1906 - m. Bloomington, Indiana, 1993). Prof. all'Indiana University (dal 1946), ha dato importanti contributi all'algebra, nella teoriadegliinsiemi e alla [...] topologia; a lui si deve un enunciato di logica matematica (lemma di Z.) equivalente all'assioma delle scelte ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] , insieme di operazioni astratte dotate di proprietà caratteristiche, è uno dei concetti più importanti della matematica moderna. Ogni geometria, secondo Klein, è, nel suo significato più vero e generale, una teoria delle proprietà degli invarianti ...
Leggi Tutto
Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degliinsiemi; ha dimostrato per primo che nessun [...] insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre (1923); Ein ...
Leggi Tutto
MATEMATICA
Federico Enriques
Matematica, o matematiche (gr. τὰ μαϑηματικά da μάϑημα "insegnamento") significa originariamente "disciplina" o "scienza razionale". Questo significato conferirono alla [...] F. Klein.
Matematiche pure: Aritmetica (teoria dei numeri, analisi combinatoria, teoria dei numeri a più unità, teoriadegl'insiemi, gruppi finiti), Algebra (corpi algebrici, teoria delle forme invariantive, teoria della risolubilità secondo Galois ...
Leggi Tutto
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, [...] delle c. (e le matematiche in genere) non su una teoria assiomatica degl'insiemi, ma sviluppando una teoria assiomatica delle c. da cui deriva la teoriadegliinsiemi.
La denominazione in uso di "c. ristretta" (small) o "c. ampia" (large), è in ...
Leggi Tutto
È lo pseudonimo collettivo sotto il quale lavora un gruppo di matematici francesi (H. Cartan, Cl. Chevalley, J. Dieudonné, Ch. Ehresmann, A. Weil ed altri). Dopo aver compiuto i loro studî all'Ècole Normale [...] si ottengono a partire da esse per differenziazioni successive e per sovrapposizione delle varie strutture. Dalla generalissima "teoriadegliinsiemi" si passa così da una parte all'"algebra generale" e dall'altra alla "topologia astratta". In tal ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] la geometria algebrica, la k-teoria (➔), la teoria delle rappresentazioni, la teoriadegli invarianti (➔ invariante) ecc. perciò a. dotate di modulo e a. prive di modulo. Un insieme B di elementi di A si dice una sottoalgebra (subalgebra) di A ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...