L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica
Oscar Sheynin
Lo sviluppo della teoria della probabilità e della statistica
I primi sviluppi del calcolo delle [...] sua memoria è che, per μ che va da 0 a 47, la probabilità totale [25] era pari a 1/2. Essendo il suo calcolo basato su una semplice somma, invece che su un'integrazione, egli non riuscì a ottenere direttamente il teorema integrale [4] di de Moivre ...
Leggi Tutto
In matematica, il risultato dell’operazione di sottrazione.
Si chiama d. finita prima o brevemente d. prima di una funzione f(x), e si indica con il simbolo Δf(x), l’incremento da essa subito quando alla [...] difference engine) che permetteva di effettuare automaticamente tali calcoli.
In statistica, d. media è un indice d. stesse. Essa si dice semplice, quando le d. sono calcolate tra ciascun termine e tutti gli altri; con ripetizione, quando nella ...
Leggi Tutto
PITTEI, Costantino
Simone Bianchi
PITTEI, Costantino. – Nacque a Prato l’8 settembre 1839, primogenito di Riccardo, possidente, e di Caterina Pelagatti. Compì gli studi primari e secondari nella città [...] di quell’anno, Pittei coadiuvò Donati nelle osservazioni (fra cui quelle della cometa 9P/Tempel nel 1867), nei calcoli teorici di orbite cometarie ed eclissi solari, e nelle misure geodetiche.
Pittei fu promosso assistente per la meteorologia nell ...
Leggi Tutto
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] f₁,…, Dnfn, allora per ogni intervallo Δ=(a₁,b₁)×…×(an,bn) di Rn l'integrale multiplo ∫Δ divF(x)dx può essere calcolato con integrazioni delle componenti della funzione F sulle facce del bordo ∙Δ dell'intervallo Δ. Si ha la seguente identità
dove ν ...
Leggi Tutto
armonico
armònico [agg. (pl.m. -ci) e s.m. Der. del gr. harmonikós, da harmózo "accordare"] [LSF] Termine inizialmente proprio dell'arte musicale, dall'accez. relativa alle corde di alcuni strumenti [...] 2k]/ [2(2k)!], dove k=1,2,... e Bk sono numeri di Bernoulli. Le somme per x intero dispari sono state calcolate numericamente con grande approssimazione (per es., da Th.J. Stieltjes, 1887), ma non se ne conoscono espressioni significative. È peraltro ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] più netta quest’idea è codificata dalla nozione di sistema di produzione formulata nel 1943 da Post. I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo ...
Leggi Tutto
L'Ottocento: astronomia. Il problema dei tre corpi e la stabilita del Sistema solare
June Barrow-Green
Il problema dei tre corpi e la stabilità del Sistema solare
Questo capitolo illustra, a grandi [...] egli riuscì a costruire una serie puramente trigonometrica che soddisfaceva, almeno formalmente, le equazioni del moto. La mole dei calcoli effettuati a tal fine fu enorme, tanto che Delaunay impiegò più di vent'anni per completarli. Nel 1846, egli ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] l'ausilio della tavoletta e della polvere. (Asās al-qawā῾id fī uṣūl al-fawā᾽id, p. 69)
Si trova così sottolineata per il calcolo "aereo" una dimensione di teoria pura, nel senso che non si ricorre né alle dita né a strumenti come la tavoletta e la ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] dimostrabile Γ⇒Δ ha una dimostrazione che non utilizza la regola del taglio
Poiché la regola del taglio è l’unica del calcolo che comporta nella dimostrazione di un sequente Γ⇒Δ l’eventuale ricorso a formule che non compaiono come sottoformule di Γ ...
Leggi Tutto
Hilbert, David
Hilbert ⟨hìlbërt⟩ David [STF] (Königsberg 1862 - Gottinga 1943) Prof. di matematica nell'univ. di Gottinga (1895); socio straniero dei Lincei (1903). ◆ Azione di H.-Einstein: v. gravità [...] serie in un parametro e, che viene posto a coefficiente del termine di collisione nella forma l/e e, alla fine dei calcoli, viene posto uguale a 1; s’impone che l’equazione sia soddisfatta ordine per ordine. Si ottengono infinite equazioni, la prima ...
Leggi Tutto
calcolabile
calcolàbile agg. [der. di calcolare]. – Che può essere calcolato. In matematica, funzione c., funzione che può essere calcolata, per la quale esiste cioè un procedimento effettivo per calcolare il suo valore per dati valori dei...