anello
Enciclopedia on line
Cerchietto di metallo, per lo più prezioso, che si porta infilato nelle dita delle mani come ornamento, come simbolo del vincolo matrimoniale, come insegna di dignità.
Arte
In Egitto l’uso dello scarabeo [...] dei polinomi in una o più indeterminate (somma e prodotto hanno qui il significato abituale).
Si chiama sottoanello (o subanello) di A un sottoinsieme proprio di un anello A che sia a sua volta un a.; un subanello I di A si chiama un ideale se il ...
Leggi Tutto
CATEGORIA:
ARTI MINORI
–
FISICA MATEMATICA
–
STRUMENTI
–
ALGEBRA
–
ANATOMIA
–
NEUROLOGIA
–
PATOLOGIA
–
STRUMENTI DIAGNOSTICI E TERAPEUTICI
–
MANUFATTI
–
TECNOLOGIA BELLICA
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. [...] coppia. Sulla base di questa definizione B. osservò che un insieme ìnfinito può essere isomorfo a un suo sottoinsieme proprio; tuttavia egli non adottò tale proprietà come definizione degli insiemi infiniti, e continuò ad attenersi alla dottrina che ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
APPLICAZIONE
Enciclopedia Italiana - III Appendice (1961)
Il concetto di applicazione (in fr. application; ingl. mapping; ted. Abbildung) è un'ampia estensione, nell'ambito della teoria generale degli insiemi, dell'idea di funzione fornita dall'analisi matematica [...] di Y, detto insieme di variabilità, o coinsieme, o codominio di ϕ. Se Y* = Y si dice che ϕ è un'a. di X su Y; se Y* è un sottoinsieme, proprio o no, di Y si parla di a. in Y. In ogni caso se l'a. è tale che elementi distinti di X diano luogo in Y ad ...
Leggi Tutto
finito
Enciclopedia on line
Filosofia
Nella filosofia greca, in rapporto al significato del termine greco πέρας («limite»), ciò che è completo perché condotto a termine, ciò che ha forma, ordine, armonia e bellezza e quindi ciò che [...] (R. Dedekind, F. Enriques); da questo punto di vista si dirà che un insieme è f. quando non è possibile stabilire una corrispondenza biunivoca tra i suoi elementi e gli elementi di un suo sottoinsieme proprio, infinito quando ciò è invece possibile. ...
Leggi Tutto
intransitivo
Enciclopedia on line
Linguistica
In grammatica, il verbo che esprime un’azione la quale non passa dal soggetto a un complemento oggetto; sono i., per es., dormire, andare, venire, partire ecc. (quando vi sia un complemento [...] un elemento P di I mediante tutte le trasformazioni di G, non si ottiene tutto I, ma solo un suo sottoinsieme proprio J: tale sottoinsieme è il sistema di intransitività o sistema invariante determinato da P. Ogni elemento di I appartiene a uno e un ...
Leggi Tutto
Logica matematica
Enciclopedia del Novecento (1978)
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] B (mentre ciò è impossibile nel caso di insiemi finiti). Tuttavia, se un insieme A è equivalente a un sottoinsieme proprio di B, ma non allo stesso B, si dice che il numero cardinale di A è minore del numero cardinale di B. Ne risulta un ordinamento ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Intuizionismo
Enciclopedia del Novecento (1978)
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] seguente nozione è più forte: una specie S è ‛D infinita' se si conosce una corrispondenza biunivoca fra S e un sottoinsieme proprio di S.
L'usuale forma del teorema di Bolzano-Weierstrass non vale, nè vale la seguente forma che, dal punto di vista ...
Leggi Tutto
Logiche non standard
Enciclopedia della Scienza e della Tecnica (2007)
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] classe di logiche da esaminare contiene logiche il cui insieme di tesi è rappresentabile come un sottoinsieme proprio dell'insieme delle tesi standard. Questa caratterizzazione sintattica consente di evitare, almeno in prima approssimazione, la ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] coincide con α). Dunque questo linguaggio è libero. I linguaggi accettati dagli automi a pila deterministici costituiscono un sottoinsieme proprio dei linguaggi liberi: si può per esempio dimostrare che non esiste un AP che accetta il linguaggio L(E ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] di tutte le possibili osservazioni, la cui cardinalità supponiamo numerabile, e di cui quelle compiute sono un sottoinsieme proprio, sono distribuite secondo la distribuzione di probabilità {p1,…,pj,…,pd}, ∑dj=1pj=1, detta distribuzione nulla (null ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA