Matematica
Nella geometria elementare, l’insieme dei punti comuni a due o più insiemi dati, sinonimo di interferenza. In geometria algebrica tale insieme si chiama interferenza, mentre si riserva il nome [...] i. (in quest’ultimo caso) è il punto di contatto preso con molteplicità d’intersezione 2.
Nella teoriadegliinsiemi e nella logica matematica, dati 2 sottoinsiemi (classi) di un insieme I, si chiama i. (prodotto logico) di A e B e si designa con A∙B ...
Leggi Tutto
Carlo Cellucci
Teologo cattolico, logico e matematico (Praga 1781 - ivi 1848). Figlio di un emigrato italiano nativo di Nesso, nel 1805 fu nominato prof. di filosofia della religione all'univ. di Praga. [...] importanza per la logica moderna. Nella Paradoxien il B. si occupa dei fondamenti della teoriadegliinsiemi, in particolare introduce la nozione di isomorfismo di due insiemi M1 e M2 con la condizione: ogni elemento x di M1 può essere accoppiato a ...
Leggi Tutto
Diritto
v. Sottrazione consensuale di minorenni
Matematica
Una delle quattro operazioni elementari mediante la quale da un numero o da una grandezza si toglie un altro numero o un’altra grandezza.
La [...] enti (vettori, funzioni, matrici ecc.), sempre come operazione inversa dell’addizione. In teoriadegliinsiemi, la s. fra due insiemi A e B è l’operazione che dà come risultato l’insieme (differenza) formato dagli elementi di A non appartenenti a B. ...
Leggi Tutto
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
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
NUMERO (lat. numerus; gr. άειϑμος)
Federigo ENRIQUES
Giacomo DEVOTO
Riccardo BACHI
Nicola Turchi
Matematica. - Nell'uso comune i numeri vengono adoperati:1. per indicare il posto occupato da un oggetto [...] di enti quali si vogliano, comunque pensabili, che possano essere egualmente finiti o infiniti.
La teoriadegliinsiemi elaborata da G. Cantor (v. insieme) ha appunto il significato di una critica assolutamente generale e razionale dei principî dell ...
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...