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 [...] In matematica, si chiama m. un elemento scelto in una classe di enti equivalenti rispetto a una data relazionediequivalenza, come rappresentante dell’intera classe, detta classe diequivalenza. Mentre quest’ultima è in sostanza un ente astratto, il ...
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 [...] è definita su tutti i n. naturali. Si dimostra che R è una relazionediequivalenza; come tale indurrà sulla classe di tutte le coppie ordinate di n. naturali una partizione in classi diequivalenza; data una coppia (a, b), denotiamo con [(a, b)]R la ...
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 [...] correlata alla questione: "quando due insiemi X e Y hanno lo stesso numero di elementi?". La risposta che dà Cantor è in termini della relazionediequivalenza insiemistica '∼', dove si definisce che X∼Y quando esiste una corrispondenza biunivoca tra ...
Leggi Tutto
Einstein 〈àinstain〉 Albert [STF] (Ulma 1879 - Princeton, New Jersey, 1955) Prof. di fisica teorica nell'univ. di Zurigo (1909), poi nell'univ. tedesca di Praga (1910) e nel politecnico di Zurigo (1912); [...] nel vuoto, E=mc2, detta anche relazionediequivalenza massa-energia (v. relatività ristretta: IV 814 a). ◆ [MCS] Relazionedi E.-Smoluchowski: v. moto browniano: IV 115 a. ◆ [FSD] Relazione generalizzata di E.: v. conduzione elettrica nei solidi ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] assiomatizzazione. ◆ [ALG] [ANM] D. astratta, o per astrazione: operazione consistente nel definire una classe di elementi attraverso una relazionediequivalenza la quale, all'interno di un insieme dato, identifica tutti e soli gli elementi tra loro ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] concetto che viene introdotto in modo diverso nei vari settori, pur indicando sempre una relazionediequivalenza (anzi, il concetto direlazionediequivalenza nasce come generalizzazione delle classiche proprietà dell’u.: proprietà riflessiva, a=a ...
Leggi Tutto
identità Termine filosofico indicante in generale l’eguaglianza di un oggetto rispetto a sé stesso.
Filosofia
Principio di i. Viene così chiamato il principio che, insieme a quelli di non-contraddizione [...] modello M della teoria il simbolo linguistico denoti proprio l’i., quale viene usualmente intesa, e non un’altra relazionediequivalenza R, perché gli assiomi del 1° ordine sull’i. sono più deboli della definizione del 2° ordine sopra vista ...
Leggi Tutto
Verità
Massimo Dell'Utri
(XXXV, p. 164)
In sintonia o in contrasto con la tradizione, buona parte della riflessione novecentesca sul concetto di v. può essere vista come un tentativo di esplicitare [...] nome k e, secondo l'uso corrente, abbreviamo la locuzione se e solo se, che esprime la relazionediequivalenza, in sse. Un esempio della formula di Leśniewski sarà allora:
k è vero sse l'enunciato tra parentesi graffe in questa voce è falso.
Poiché ...
Leggi Tutto
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] le proprietà che gli enti della classe hanno in comune (rispetto a una prefissata relazionediequivalenza): per es., un vettore è l'a. di una classe di segmenti equipollenti. ◆ [ALG] Algebra a.: detta pure algebra moderna o semplic. algebra: v ...
Leggi Tutto
equivalenzaequivalènza [Der. diequivalente] [ALG] Ogni relazione binaria tra coppie di elementi di un dato insieme che verifichi le tre proprietà formali riflessiva, simmetrica, transitiva; in partic., [...] : v. relatività ristretta: IV 814 a. ◆ [ALG] Classe di e.: dato un insieme I e definita in esso una relazionedi e. R, è la classe A (sottoinsieme di I), costituita dagli elementi di I equivalenti a un certo elemento a∈I; ovviamente, anche qualunque ...
Leggi Tutto
equivalenza
equivalènza s. f. [der. di equivalere]. – 1. L’equivalere, l’essere equivalente; uguaglianza di valori, in genere tra cose di natura o qualità diversa: e. di due locuzioni, di due grandezze. 2. In fisica, principî di e., quelli...
relazione
relazióne s. f. [dal lat. relatio -onis, der. di referre «riferire», part. pass. relatus]. – 1. L’azione e il fatto di riferire, e il testo stesso, orale e scritto, con cui si riferisce, e la sua forma: fare, presentare una r.; r....