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 [...] : tutte le definizioni proposte sono equivalenti e descrivono sempre la classe delle funzioni ricorsive.
Il metodo sono, mediante aritmetizzazione, relative a proprietà dei numeri; d'altro lato, l'attività matematica che consiste nel derivare ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] con una sua parte propria), la cui equivalenza risulterà dimostrabile solo ricorrendo all'"assioma della propriétés des ensembles d'ensembles..., in Mathematische Annalen, XLVII(1895), pp. 20-32; Le classi finite, in Atti d. R. Accad. d. scienze di ...
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 [...] è lecito aggiungere ora, per l'equivalenza dei meriti, l'Analisi algebrica e ; F. Tricomi, Matematici ital. del primo secolo dello Stato unitario, in Mem. d. Acc., d. scienze di Torino, classe di sc. mat., fis. e nat., I (1962), p. 36; Enc. ...
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; [...] di retta e di piano e sulla teoria dell'equivalenza, che, per la larghezza dell'informazione storica, con infinite trasformazioni conformi in sé stesse, in Rendiconti d. R. Accad. dei Lincei, Classe di scienze fisiche, matem. e naturali, s. 5 ...
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 [...] il valore linguistico di una sequenza in cui le due entità si inseriscano: le due entità si dicono funzionalmente equivalenti e appartengono a una medesima classe, che è l’i. fonetico ‹a›. Si hanno i. non solo a livello fonematico, ma a tutti i ...
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 [...] naturale può essere concepito in due diversi modi: come numero d’ordine degli oggetti in una successione finita (numero ordinale) introduce una equivalenza tra insiemi: il numero c. non è altro che l’astratto di una classe di insiemi equivalenti. La ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] se ciò non accade, s'introduce in Φ una nozione d'eguaglianza astratta (equivalenza), scrivendo ω1 = ω2 per indicare che le due si possono dare notevoli teoremi di rappresentazione per diverse classi di operatori lineari. Se A è uno spazio di ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] i quali hanno definito e studiato il concetto di classe di complessità per le macchine di Turing. A citiamo Jaco de Bakker, Dines Björner, Gordon D. Plotkin, John C. Reynolds. Gli sviluppi viene espressa come equivalenza operazionale (anche se ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di geometria algebrica italiana
Alberto Conte
Ciro Ciliberto
La scuola di geometria algebrica italiana
Gli inizi: Luigi Cremona e [...] nel 1883 sotto la guida di Enrico D'Ovidio, e che a Torino svolse la scientifica, consiste nello studio di equivalenze meno fini di quella lineare per una varietà i cui punti rappresentano le classi di isomorfismo birazionale delle curve di genere g ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] archimedeo di numeri.
Nel 1883 Segre, formatosi alla scuola di Enrico D’Ovidio (1843-1933) a Torino, si laurea con una tesi da un principio equivalente ma più intuitivo che sarà chiamato principio del minimo: in una qualsiasi classe non vuota 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,...