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 [...] al riguardo delle definizioni impredicative. D'altro canto, Weyl affermava che un 'vero abisso' lo separava da Russell e dal suo tentativo di definire i numeri naturali come classi di equivalenza tramite la relazione di equinumerosità e la sua ...
Leggi Tutto
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] per ogni a reale; c) {x∣f(x)>a}∈Σ per ogni a reale; d) {x∣f(x)≥a}∈Σ per ogni a reale. Spesso una di queste viene presentata una pseudometrica e che, per la relazione di equivalenza ρ(f, g)=0, la classe di equivalenza contenente f è l'insieme di ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] e trasformarlo in un uno confluente senza alterare la relazione di equivalenza. Dovuto a Donald E. Knuth e Peter B e solo se esiste una macchina di Turing D (il Dimostratore) tale che x è accettato dalla coppia (D,V) con probabilità maggiore di 1−ε, ...
Leggi Tutto
Analisi matematica
Jean A. Dieudonné
Alcune delle idee fondamentali che sono alla base del calcolo risalgono ai Greci, ma il loro sviluppo sistematico iniziò soltanto nel XVII secolo. Alla fine di quel [...] f∼; allora l'insieme Lp([0,1]) di queste classi d'equivalenza è uno spazio vettoriale e Np è una norma su tale continuo U in E è dotato di un operatore aggiunto U*, che è definito dalla relazione
[16] (U∙x∣y)=(x∣U*∙y)
e che è continuo. Si ha ...
Leggi Tutto
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 [...] R è riflessiva e transitiva, negli S5-modelli una relazione di equivalenza. I risultati di completezza dimostrati da Kripke assicurano che tutte variare le variabili libere su un unico dominio universale D, di cui i vari Di sono sottoinsiemi, mentre ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] A e B in ℑ si ha
A ≥ B se e solo se Ac ≥ Bc.
Infine la relazioned'ordine in senso stretto > è definita nel solito modo: A* > B* se e solo 1, 2; dato ω in Ω, sia ωn la classe di equivalenza di tutte le sequenze in Ω che sono identiche a ω fino ...
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); [...] 145 b. ◆ [RGR] Equazione, o relazione, di E. di equivalenza fra massa ed energia: v. relatività ristretta dei calori specifici di E.: v. calore specifico dei solidi: I 442 d. ◆ [TRM] Teoria delle fluttuazioni di E.: v. fluttuazioni termodinamiche: II ...
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 [...] quelli che vengono supposti come primitivi: v. assiomatizzazione. ◆ [ALG] [ANM] D. astratta, o per astrazione: operazione consistente nel definire una classe di elementi attraverso una relazione di equivalenza la quale, all'interno di un insieme dato ...
Leggi Tutto
campo delle frazioni
Luca Tomassini
Sia D un dominio di integrità (cioè un anello abeliano nel quale a≠0 e b≠0 implica ab≠0, per ogni a,b∈D). Sussiste allora il seguente teorema: ogni dominio di integrità [...] dunque M l’insieme delle coppie ordinate (a,b), con a,b∈D, e definiamo in M una relazione di equivalenza come segue: (a,b)∿(c,d) se e solo se ad=bc. Indichiamo ora con [a,b] la classe di equivalenza della coppia (a,b) e sia F l’insieme di tutte le ...
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 [...] 903/1977). Assai più controverso è, invece, il problema delle c.d. quote rosa, cioè delle quote riservate a candidate donne nell’ambito sempre una relazione di equivalenza (anzi, il concetto di relazione di equivalenza nasce come generalizzazione ...
Leggi Tutto
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....
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....