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 [...] . Lo studio di queste e altre proprietà del grafo del Web è fondamentale per lo sviluppo di motori di ricerca sempre delteoremadel punto fisso di Knaster-Tarski e individuare la funzione calcolata da un programma ricorsivo come il punto fisso del ...
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 [...] un risultato fondamentale: per esempio, esso consente la costruzione di uno spazio dei moduli delle superfici di tipo generale. La sua dimostrazione si basa sul cosiddetto 'teorema di regolarità dell'aggiunto', che calcola la dimensione del sistema ...
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 [...] dove a è un numero),
= (l’uguaglianza). Le proprietà fondamentali dei primitivi sono espresse dai seguenti nove axiomata:
1. 1 ∈ Fondamenti delcalcolo logico ’aritmetica e per la geometria. I teoremi logici sono distinti dai seguenti tredici assiomi ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La matematica ebraica
Tony Lévy
La matematica ebraica
Gli studiosi ebrei arabofoni che vivevano nei paesi dell'Islam rappresentavano una [...] In effetti, l'insieme dei teoremidel testo arabo si può trovare, lettori di lingua ebraica le opere fondamentali della scienza 'universale'.
Ya῾aqōv Sēfer ha-ḥešbôn we-ha-middôt (Il libro delcalcolo e delle misure), nel quale è possibile reperire ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] è casuale. Nella prima metà del secolo è la Francia il fondamentaleteorema di addizione, che generalizzava agli integrali 'abeliani' il teorema di addizione per gli integrali ellittici stabilito da Euler. A prima vista un semplice teorema di calcolo ...
Leggi Tutto
Statistica applicata alle scienze sociali
Italo Scardovi
La statistica e l'immanenza della variabilità
Statistica è parola dai tanti, forse troppi, significati. Essi riflettono, nella loro varietà, [...] ha tratto origine e significato, grazie agli strumenti delcalcolo automatico, un modo nuovo di scandagliare le interazioni inverarsi empirico di un teoremafondamentale della convergenza stocastica, il 'teorema centrale del limite'. Dove Adolphe ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] brevemente il caso più semplice del suo teorema di indipendenza nel calcolo delle variazioni, presentato come Königsberg e in seguito con Klein a Gottinga, ebbe un ruolo fondamentale. Su suo consiglio un gran numero di fisici di talento si trasferì ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] nel campo della meccanica teorica, della geometria e delcalcolo delle variazioni, che continuavano a essere coltivati.
misura, oggi generalmente accettata, sia i risultati fondamentali come il teorema di estensione che porta il suo nome. Questo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] di logica, le Operazioni della logica deduttiva poste in apertura delCalcolo geometrico (1888). Minore è il numero di concetti primitivi proposti da Pieri consente di stabilire il teoremafondamentale della proiettività, e dunque di introdurre ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] Teoremi e risultati teorici elaborati negli ultimi decenni dell'Ottocento e nei primi del Novecento favorirono questo passaggio decisivo dall'arte alla scienza delcalcolo Gauss-Seidel. In un fondamentale trattato del 1962, Matrix iterative analysis, ...
Leggi Tutto
geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure spaziali, originariamente sviluppatosi...
derivazione1
derivazióne1 s. f. [dal lat. derivatio -onis, der. di derivare «derivare1»]. – 1. L’atto, l’operazione, il fatto di derivare o di essere derivato, e il modo o il processo attraverso cui si deriva (nel sign. trans. e intr. di derivare1):...