La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] sorprendente scoperta: tutte le definizioni proposte sono equivalenti e descrivono sempre la classe delle funzioni ricorsive.
Il metodo usato nelle dimostrazioni di tali risultati diequivalenza è detto aritmetizzazione, e consiste nell'assegnare ...
Leggi Tutto
CIPOLLA, Michele
Francesco Saverio Rossi
Nato a Palenno il 28 ott. 1880 da Luigi e da Rosaria Moncada, dopo aver seguito con onore, gli studi medi superiori nel liceo della sua città, iniziò quelli [...] l'equivalenza dei meriti, l'Analisi algebrica e introduzione al calcolo infinitesimale e le Lezioni di calcolo . del primo secolo dello Stato unitario, in Mem. d. Acc., d. scienze di Torino, classedi sc. mat., fis. e nat., I (1962), p. 36; Enc. Ital ...
Leggi Tutto
CONFORTO, Fabio
Francesco Saverio Rossi
Nato a Trieste nel 1909 da Ruggero e Irene Vascotto, quando la città era ancora parte integrante dell'Impero austro-ungarico, visse gli anni dell'infanzia, a [...] Lincei, classedi scienze fisiche, mat. e nat., s. 8, XIV (1953), pp. 754-59, egli esprime la possibilità di eseguire lo studio delle matrici di Riemann non solamente dal punto di vista dell'isomorfismo ma anche sotto l'aspetto dell'equivalenza. Egli ...
Leggi Tutto
AMALDI, Ugo
Nicola Virgopia
Nacque a Verona il 18 apr. 1875. A Pavia, dove il padre era presidente del tribunale, fu allievo del ginnasio annesso al liceo "Ugo Foscolo"
ed ebbe come professore L. Berzolari; [...] elementari, e articoli sui concetti di retta e di piano e sulla teoria dell'equivalenza, che, per la larghezza dell conformi in sé stesse, in Rendiconti d. R. Accad. dei Lincei, Classedi scienze fisiche, matem. e naturali, s. 5,X (1901), pp ...
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 classedi elementi attraverso una relazione diequivalenza la quale, all'interno di un insieme dato, identifica tutti e soli gli elementi tra loro ...
Leggi Tutto
isomorfismo
Luca Tomassini
Corrispondenza o relazione tra enti matematici o sistemi di enti matematici che esprime l’identità delle loro strutture in un senso opportuno. Un isomorfismo in una categoria [...] riflessiva, simmetrica e transitiva e definisce dunque una relazione diequivalenza che divide ogni classedi enti matematici in classidiequivalenza disgiunte. Classificare un insieme di enti matematici significa quindi caratterizzare una a una le ...
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
In geometria, particolare relazione diequivalenza tra segmenti orientati: si dicono equipollenti due segmenti orientati AB, A′B′ quando le loro rette sono parallele, i loro versi concordi e le loro lunghezze [...] uguali. Dividendo l’insieme dei segmenti orientati in classi rispetto alla relazione di e., ciascuna classe rappresenta per astrazione un vettore. ...
Leggi Tutto
TOPOLOGIA ASTRATTA
S. Fac.
. La topologia (meno modernamente chiamata analysis situs; v. III, p. 87) si occupa delle proprietà invarianti degli insiemi di punti nelle trasformazioni bicontinue (omeomorfismi), [...] di chiusura, da quello di intorno; si ottiene così il seguente complesso di assiomi (F. Hausdorff) equivalente ) alle trasformazioni continue negli spazî topologici.
Sia C una classedi funzioni e si abbia da risolvere l'equazione funzionale u ...
Leggi Tutto
memòria s. f. [dal lat. memoria, der. di memor -ŏris «memore»]. – 1. a. In generale, la capacità, comune a molti organismi, di conservare traccia più o meno completa e duratura degli stimoli esterni sperimentati e delle relative risposte. In...
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,...