intersezione
Enciclopedia on line
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 teoria degli insiemi 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
Bolzano, Bernhard
Enciclopedia on line
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 teoria degli insiemi, 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
CATEGORIA:
BIOGRAFIE
sottrazione
Enciclopedia on line
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 teoria degli insiemi, 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
Ackermann, Wilhelm
Enciclopedia on line
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 teoria degli insiemi in cui non compaiono distinzioni di tipi. È autore anche di Solvable cases of the decision problem, 1954. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cohen, Paul
Enciclopedia on line
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 teoria degli insiemi 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
CATEGORIA:
BIOGRAFIE
Erdős, Paul
Enciclopedia on line
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 teoria degli insiemi, E. ha creato un nuovo campo di ricerca intermedio tra questa e la logica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
spazio
Enciclopedia on line
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
CATEGORIA:
CORPI CELESTI
–
COSMOLOGIA
–
DISCIPLINE STRUMENTI E TECNICHE DI RICERCA
–
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
GEOGRAFIA FISICA
–
GEOMETRIA
–
DISCIPLINE
–
DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
POLITOLOGIA
–
TRASPORTI AEREI
Skolem, Thoralf
Enciclopedia on line
Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; 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
CATEGORIA:
BIOGRAFIE
MATEMATICA
Enciclopedia Italiana (1934)
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à, teoria degl'insiemi, gruppi finiti), Algebra (corpi algebrici, teoria delle forme invariantive, teoria della risolubilità secondo Galois ...
Leggi Tutto
NUMERO
Enciclopedia Italiana (1935)
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 teoria degli insiemi elaborata da G. Cantor (v. insieme) ha appunto il significato di una critica assolutamente generale e razionale dei principî dell ...
Leggi Tutto