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 classedi elementi attraverso una relazione diequivalenza la quale, all'interno di un insieme dato, identifica tutti e soli gli elementi tra loro ...
Leggi Tutto
Nel linguaggio scientifico, si dice di ente o grandezza, e anche di espressione matematica o di espressione indicante un legame tra certe grandezze, che non muti operando particolari cambiamenti di variabili [...]
In un sistema linguistico considerato in sincronia sono i. tutte le classidi entità tra le quali si stabilisce un’equivalenza funzionale. In italiano un ‹a› di tono grave e un ‹a› di tono acuto sono entità intercambiabili, senza che la sostituzione ...
Leggi Tutto
Astronomia e geografia
Punti c. Punti d’incontro dell’orizzonte con il meridiano e con il primo verticale. I punti di intersezione dell’orizzonte con il meridiano (cerchio massimo passante per i poli e [...] tra insiemi: il numero c. non è altro che l’astratto di una classedi insiemi equivalenti. La definizione di Cantor riporta, nel caso di insiemi finiti, ai numeri c. naturali. Nel caso di insiemi infiniti, il numero c. si chiama anche potenza dell ...
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. [...] in modo da descrivere le proprietà che gli enti della classe hanno in comune (rispetto a una prefissata relazione diequivalenza): per es., un vettore è l'a. di una classedi segmenti equipollenti. ◆ [ALG] Algebra a.: detta pure algebra moderna o ...
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. [...] il moto, il sistema di riferimento solidale con B non è inerziale e quindi non è equivalente a quello iniziale.
Per il p. di d’Alembert ➔ Alembert, Jean o sintattiche). Appartengono alla classe delle antinomie logiche i p. di Burali-Forti, Cantor e ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] versione topologica del teorema di Riemann-Roch interpretandolo attraverso certe classidi coomologia.
Teoria KAM. tipo 3 corrisponde agli automi finiti di Kleene. Il tipo 2 risultò poi equivalente alle forme normali di Backus, definite nel 1959, e ...
Leggi Tutto
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,...
termodinamica
termodinàmica s. f. [comp. di termo- e dinamica]. – Parte della fisica, inizialmente nata per studiare, in base a esigenze di carattere tecnico legate all’invenzione della macchina motrice a vapore, le modalità con cui si può...