equivalenzaequivalè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., [...] .: 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ò considerarsi come rappresentante ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] del teorema dimostrato originariamente da Church e John B. Rosser che garantiscono la possibilità di identificare queste classid’equivalenza con termini irriducibili rispetto alle regole. Fino agli anni Settanta insoluto era rimasto il problema di ...
Leggi Tutto
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] la classe di tutte le classi di equivalenza sopraindicate. Anche in questo caso risultano definibili le operazioni di addizione, moltiplicazione, sottrazione, e inoltre Q sarà chiuso rispetto alla divisione. Si introdurrà in Q una relazione d’ordine ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] se è riflessiva, simmetrica e transitiva; essa induce sul suo campo una partizione in classi di equivalenza. Una r. si dice r. d’ordine parziale se è ariflessiva e transitiva (e quindi anche asimmetrica) ovvero se è riflessiva antisimmetrica ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] soltanto che le antinomie 'usuali' non producono qui nessuna contraddizione. D'altro canto, non c'è modo nel sistema di Zermelo di trattare i numeri cardinali come classi di equivalenza rispetto a ∼, poiché non si può stabilire l'esistenza dell ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] ), propose di concepire la lingua (langue) come un sistema d’identificazione degli atti espressivi (in sé stessi tutti differenti), identificazione che si compie attraverso classi astratte di equivalenza (i segni) producibili con una data lingua. L ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] di matematica applicata di A.D. Gardner, W.H. Kruskal e altri emerge una connessione tra una classe di equazioni non lineari importanti e alle relazioni che sussitono tra insiemi quali equivalenza, intersezione, complementazione ecc.
Tratto comune a ...
Leggi Tutto
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. [...] B non è inerziale e quindi non è equivalente a quello iniziale.
Per il p. di d’Alembert ➔ Alembert, Jean-Baptiste Le Rond; per la linguistica», suddivise tutti i p. in due classi, quella delle antinomie logiche e quella della antinomie linguistiche ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] Lakoff, J.R. Ross, C.J. Fillmore, J.D. McCawley, E. Bach, ha avuto origine verso la natura delle categorie (classi concettuali come uccelli, L’, bensì come teoria del significato per L. Le equivalenze metalinguistiche della forma ‘E è vero-in-L se, ...
Leggi Tutto
Antropologia
C. matrimoniali Suddivisioni esogamiche (meglio note come fratrie o, se in numero di due, metà) in cui si ripartisce la società, indipendentemente dalla divisione della società medesima [...] d. legisl. 297/94). Sia i criteri generali sia le proposte non possono in linea generale stabilire il contingente numerico delle classi dello spazio ordinario ecc.
Per le c. di equivalenza ➔ equivalenza.
Scienze sociali
C. sociale Uno dei gruppi di ...
Leggi Tutto
quoziente
quoziènte s. m. [dal lat. quotiens avv. «quante volte», der. di quot «quanti»]. – 1. In aritmetica, il risultato dell’operazione della divisione, e cioè il numero che esprime quante volte il divisore è contenuto nel dividendo: q....
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...