equivalenza
Dizionario delle Scienze Fisiche (1996)
equivalenza
equivalènza [Der. di equivalente] [ALG] Ogni relazione binaria tra coppie di elementi di un dato insieme che verifichi le tre proprietà formali riflessiva, simmetrica, transitiva; in partic., [...] : IV 814 a. ◆ [ALG] Classe di e.: dato un insieme I e definita in esso una relazione di e. R, è la classe A (sottoinsieme di I), costituita dagli elementi di I equivalenti a un certo elemento a∈I; ovviamente, anche qualunque altro elemento di A può ...
Leggi Tutto
algebra di Boole
Enciclopedia della Scienza e della Tecnica (2008)
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] ∧ x ′ = 0.
Le algebre di Boole sono reticoli limitati, distributivi e complementati. Esempi sono l’algebra B(I)=〈P(I),∩,∪,‒〉 dei sottoinsiemi di un insieme dato mentre non sono algebre di Boole né il reticolo dei chiusi né quello degli aperti di uno ...
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
LOGICA POLIVALENTE
Enciclopedia Italiana - V Appendice (1993)
LOGICA POLIVALENTE
Claudio Pizzi
Viene chiamata polivalente qualunque logica che risulti completa rispetto a semantiche che ammettono più valori dei due valori di verità standard (di solito identificati [...] impiegato nelle dimostrazioni d'indipendenza degli assiomi. Sia M una matrice a n valori, e sia {a1,...an-x} un sottoinsieme proprio dell'insieme dei valori, i cui elementi vengono detti valori designati. Allora, se risulta che tutti gli assiomi di ...
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. [...] una 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 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] X≡{x:x=1⋁(x=2∧F)} dove F è una asserzione matematica ancora non dimostrata, come l'ipotesi di Riemann. X è un sottoinsieme dell'insieme finito {1, 2}, ma non possiamo provare che X è finito, poiché ciò ci costringerebbe a decidere se X abbia uno ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] il metodo usato. Zermelo postula infatti per un insieme qualunque M l'esistenza di una funzione ('di scelta') che associa, a ogni sottoinsieme (non vuoto) S di M, un elemento di S stesso. Il principio afferma l'esistenza dell'insieme di scelta ma non ...
Leggi Tutto
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] numeri reali definibili con un numero finito di parole della lingua italiana. D è numerabile perché è certamente finito il suo sottoinsieme Dk (k = 1, 2, 3, …) costituito da tutti i numeri reali definibili con k parole. D può, allora, essere ordinato ...
Leggi Tutto
informazione
Enciclopedia on line
Notizia, dato o elemento che consente di avere conoscenza più o meno esatta di fatti, situazioni, modi di essere. In senso più generale, anche la trasmissione dei dati e l’insieme delle strutture che la [...] molto ampio ed eterogeneo di informazioni. L’interesse o la capacità di osservazione di un dato osservatore possono orientarlo verso un sottoinsieme (talora molto esiguo) di tali informazioni. Per quell’osservatore la sorgente è costituita da quel ...
Leggi Tutto
CATEGORIA:
ANTROPOLOGIA FISICA
–
GENETICA
–
TEMI GENERALI
–
FISICA MATEMATICA
–
TERMODINAMICA E TERMOLOGIA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
MASS-MEDIA
–
DIRITTO COSTITUZIONALE
–
DIRITTO PENALE E PROCEDURA PENALE
–
STORIA E FILOSOFIA DEL DIRITTO
–
ESTETICA
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
reticolo
Dizionario delle Scienze Fisiche (1996)
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] v. reticolo, teorie quantistiche sul. ◆ [MCS] L'insieme Zn dei punti di Rn a coordinate intere oppure un opportuno sottoinsieme di Zn; associando opportunamente a ogni punto del r. qualche variabile continua o discreta, si ottengono molti dei modelli ...
Leggi Tutto
CATEGORIA:
ACUSTICA
–
BIOFISICA
–
FISICA ATOMICA E MOLECOLARE
–
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
OTTICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
–
MECCANICA APPLICATA