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 [...] più operatori modali che esprimono relazioni tra asserzioni sullo stato del sistema ed esecuzione di programmi. Un tipico esempio di formula modale di questa natura è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] di Legendre nel modo seguente:
esso assume i valori 1, −1, i, −i. Gauss ottiene la legge di reciprocità biquadratica, espressa dalla formula seguente (nella quale α e β sono numeri primi primari):
e altre relazioni per le unità e per 1+i.
La ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Thomas Archibald
Equazioni differenziali alle derivate parziali
Nel corso del XIX sec. la teoria delle funzioni di più variabili [...] dei precursori, tra i quali un caso particolare ottenuto da André-Marie Ampère (1826). Sembra che nella sua versione classica sia stato formulato nel 1850, o poco prima, da William Thomson, che lo comunicò a George G. Stokes. Questi, a sua volta, lo ...
Leggi Tutto
Scienza greco-romana. La scienza greca e l'Oriente
André Pichot
La scienza greca e l'Oriente
La scienza e la filosofia sono state a lungo considerate il frutto del 'miracolo greco', un frutto incomparabile [...] in cui numeri, astri e divinità erano legati da misteriosi rapporti. L'astronomo era un mago, che si serviva di formule da scoprire esplorando il mondo divino degli astri (cosa resa possibile da vari strumenti di osservazione) e il mondo mistico ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] ᾽al possiamo menzionare la seguente: per ogni n, m interi positivi
Il testo di al-Samaw᾽al ci informa inoltre che la formula nota oggi come 'binomio di Newton' era stata dimostrata da al-Karaǧī per le potenze intere positive; ci fornisce quindi la ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] ipotesi, può essere deciso in maniera effettiva, per ciascuna successione finita σ di successioni finite di simboli basilari, e per ciascuna formula φ se σ è o no una dimostrazione di φ. Una volta che una teoria assiomatica formale T è presentata in ...
Leggi Tutto
LOTTERI, Angelo Luigi
Alessanda Ferraresi
Nacque a Bollate, alle porte di Milano, il 24 nov. 1760 da Giuseppe, medico, e da Anna Riva.
Alla sua educazione e istruzione provvidero principalmente gli [...] L. rispose nello stesso anno con un Trattenimento apologetico. Come dimostrò successivamente Bordoni, ambedue gli autori avevano trovato formule corrette, partendo però da premesse diverse.
Il contributo principale del L. è il manuale pubblicato in ...
Leggi Tutto
lente
lènte [Der. del lat. lens lentis "lenticchia"] [LSF] Nome di vari oggetti, dispositivi, strutture la cui forma ricorda quella biconvessa di una lenticchia; senza ulteriori qualificazioni, nella [...] luogo a più immagini deformate della stessa sorgente: v. lente gravitazionale, effetto di. ◆ [OTT] Formula della l. sferica sottile: v. ingegneria ottica: III 208 a. ◆ [OTT] Formula delle l. magnetiche sottili: v. ottica delle particelle: IV 373 f. ...
Leggi Tutto
Legendre Adrien-Marie
Legendre 〈lëgŠàndr〉 Adrien-Marie [STF] (Tolosa 1752 - Parigi 1833) Prof. di matematica nell'École militaire di Parigi (1775); passò a dirigere, nel Bureau des longitudes (1787), [...] canoniche di Legendre. ◆ [ANM] Polinomi, o polinomi associati, di L.: polinomi che soddisfano l'equazione di L. (v. sopra), dati dalla formula Pn(x)=1/(n!2n)[dn (x2-1)n/dxn]; Pn(x) diventa nullo in corrispondenza a n valori distinti dell'intervallo ...
Leggi Tutto
convergenza
Alfio Quarteroni
Si consideri il problema di trovare u tale che F(u,d)=0, dove d è l’insieme dei dati da cui dipende la soluzione e F esprime la relazione (detta anche legge funzionale) [...] xj=x0+j∙h (per j=0,…,n e n=[(b−x0)/h]), il metodo di Euler approssima la soluzione y(x) nei nodi xj secondo la formula vj+1=vj+hf(xj,vj) (per j=0,…,n−1), con v0=y0. Nel caso in esame possiamo identificare la soluzione u del modello matematico con ...
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...