L'Eta dei Lumi: matematica. Le equazioni differenziali
Silvia Mazzone
Clara Silvia Roero
Le equazioni differenziali
E con la nascita del calcolo infinitesimale di Newton e di Leibniz, nella seconda [...] i due estremi della trave. Bernoulli fornisce la costruzione geometrica per quadrature della soluzione, che corrisponde alla formula analitica
e inoltre calcola il differenziale dell'arco di lunghezza s, precisamente
Quest'ultimo risultato è da ...
Leggi Tutto
Serie storiche, analisi delle
Franco Giusti
Finalità
Una serie storica è un insieme finito cronologicamente ordinato di osservazioni x₁, x₂, x₃,..., xT relative a un carattere X, generalmente equidistanti, [...] esprimersi mediante la sovrapposizione di varie componenti, prefissate ma non osservabili senza rimuovere gli effetti delle altre. La formulazione addittiva - in cui si ritiene che ogni componente si manifesti con un effetto autonomo - è del tipo: xt ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] . Infine, per lo svolgimento del calcolo in senso proprio, dovrà essere definito un insieme di relazioni sulle formule, che consenta il passaggio da una formula a un'altra. Nonostante l'algebra sia il modello al quale si ispira la struttura dell'arte ...
Leggi Tutto
BONCOMPAGNI LUDOVISI, Baldassarre
Vincenzo Cappelletti
Nacque a Roma il 10 maggio 1821, secondogenito di don Luigi, principe di Piombino, e di Maria Maddalena Odescalchi. Tra gli studiosi che ebbero [...] dei triangoli che si possono costruire tirando la perpendicolare all'ipotenusa dal vertice dell'angolo retto; una nuova dimostrazione della formula che esprime l'area del triangolo in funzione dei lati; l'affermazione che l'area di campi posti su una ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] di assiomi di esistenza per insiemi e funzioni.
Nel 1929 Glivenko, in esito al suo rapporto epistolare con Heyting, formulò e dimostrò il 'teorema di Glivenko': nella logica proposizionale ¬¬A è dimostrabile intuizionisticamente se e soltanto se A è ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Enrico Betti
Iolanda Nagliati
Enrico Betti fu uno dei più importanti matematici italiani del 19° sec.; ottenne risultati rilevanti in vari campi di ricerca: l’algebra, con gli studi sulla risoluzione [...] , 7-8, pp. 5-21, 69-97, 158-80 e 357-67, 1873, 9, pp. 34-43, e 1874, 10, pp. 58-84); in esse formulò un importante teorema di reciprocità che porta il suo nome e che gli consentì di elaborare metodi originali per l’integrazione delle equazioni per l ...
Leggi Tutto
GUGLIELMINI, Domenico
Anna Rita Capoccia
Nacque a Bologna, da Giulio e da Gentile Neri, il 27 sett. 1655. A Bologna studiò matematica con G. Montanari e medicina con M. Malpighi: dal primo fu introdotto [...] XVII secolo, che faceva capo all'idea della quantità indivisibile in geometria (corrispondente a quella di atomo in fisica), formulata da B. Cavalieri. A proposito della cristallizzazione dei sali, il G. afferma che gli angoli formati dalle facce dei ...
Leggi Tutto
DINI, Ulisse
Marta Menghini
Nacque a Pisa il 14 ott. 1845 da Pietro e da Teresa Marchioneschi. Alunno della Scuola normale superiore, fu allievo all'università pisana di E. Betti e O. F. Mossotti, e [...] variabile reale, in Ann. delle Univ. toscane, XVII ([1880], 2, pp. 1-204), nella quale giunge a notevoli risultati con una formula che ne generalizza un'altra di Abel, e che è considerata fondamentale nel campo delle equazioni integrali, di cui il D ...
Leggi Tutto
massa
massa [Lat. massa, dal gr. máza "pasta di farina d'orzo"] [LSF] Termine il cui signif. ha avuto una notevole evoluzione storica e un continuo arricchimento, dal primitivo concetto di grandezza [...] si rende libera nella fissione del nucleo medesimo. ◆ [FAT] Effetto di m.: v. atomo: I 310 d. ◆ [FNC] Formula di m.: denomin. di varie formule empiriche per calcolare la m. di un nucleo atomico in funzione del numero atomico, del numero di massa e di ...
Leggi Tutto
raggio
ràggio [Der. del lat. radius, in origine "bacchetta appuntita", poi "raggio luminoso" perché questo s'irradia rettilineamente da una sorgente raccolta, come il raggio della ruota che parte rettilineamente [...] [OTT] Equazione dei r.: l'equazione differenziale del r. di propagazione di un'onda: v. ottica geometrica: IV 385 a. ◆ [FNC] Formula del r. efficace: v. interazioni nucleoniche: III 259 e. ◆ [OTT] Ottica dei r. X: s'occupa dei fenomeni relativi alla ...
Leggi Tutto
formula
fòrmula (o fòrmola) s. f. [dal lat. formula, propr. dim. di forma «forma»]. – 1. a. Frase o insieme di frasi imposte da una norma consuetudinaria (rituale o legale) come espressione costante di determinati fatti o strettamente legata...