SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] , dimostrando la soddisfacibilità in un dominio non vuoto di individui; pertanto nella sua costruzione non esiste una formula che sia dimostrabile insieme alla sua negazione. Dopo aver provato la relativizzazione delle nozioni e dei teoremi della ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] passano per i centri dei lati di Pn−1. P1 è il rombo definito dai vertici dell'ellisse. Se Sn è l'area di Pn, si ha successivamente:
Formula 33a e 33b
allora, per ε dato da S=Σ+ε esiste un intero positivo n tale che (1/2n)S⟨ε, da cui S−Sn⟨ε e Sn ...
Leggi Tutto
Newton Isaac
Newton 〈niùtn〉 Isaac [STF] (Woolsthorpe 1642 - Londra 1727) Prof. di matematica nell'univ. di Cambridge (1669-1701), poi, dal 1693, anche direttore della zecca di Londra; presidente della [...] ] Fisica di N.: v. astronomia storia dell': I 216 b. ◆ [MCF] Fluido di N.: lo stesso che fluido newtoniano (→ newtoniano). ◆ [ALG] Formula di N. del binomio: → binomio. ◆ [OTT] Formula di N. del diottro sferico: v. ottica geometrica: IV 387 d. ◆ [ANM ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] grado di α, e affrontato, nella prima metà del XX sec. da Thue (β≤(1/2)n+1), Siegel (Formula)
e Dyson (Formula).
Dualità per fibrati su varietà complesse compatte. J.-P. Serre dimostra importanti isomorfismi naturali tra le coomologie del fascio ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] D. Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia o non sia un teorema di T. Per studiare tale problema occorreva trovare un corrispettivo matematicamente preciso della ...
Leggi Tutto
Logico tedesco (n. 1878 - m. 1957); docente in un liceo di Berlino, fu sospeso (1934) dall'insegnamento per motivi razziali, e poi reintegrato (1946). Ha dato contributi fondamentali alla logica, a cui [...] predicativo del primo ordine con identità", tra cui la più nota è espressa dal teorema di L., secondo il quale, per ogni formula f del calcolo, se f ha un modello, allora ha un modello il cui dominio è al più numerabile. Questo risultato fu in ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] :
La medesima espressione si ritroverà nel XV sec. nel Miftāḥ al-ḥisāb (La chiave del calcolo) di Ǧamšīd al-Kāšī. Si tratta però di formule ben note ad al-Zanǧānī, al-Fārisī (m. 1319), Ibn al-Mālik al-Dimašqī, al-Yazdī e Taqī al-Dīn ibn Ma῾rūf tra ...
Leggi Tutto
L'Ottocento: matematica. Metodi del calcolo numerico
Dominique Tournès
Metodi del calcolo numerico
Prima del 1870 l'analisi numerica non si era ancora sviluppata come disciplina autonoma; esisteva [...] seguente: (D−E)X=FX+B. Senza entrare nei dettagli, Gauss determina un primo valore approssimato X0 e poi lo corregge mediante le formule:
[11] Xn+1=(D-E)-1FXn+(D-E)-1B
finché non vi è più una sensibile differenza tra due valori successivi. Lo stesso ...
Leggi Tutto
Teoria matematica della capitalizzazione e attualizzazione; ha come fondamento il fatto che nell’economia mercantile il capitale produce un interesse.
Cenni generali
Per mezzo di funzioni di capitalizzazione [...] risultato economico a scadenza H(T) se e solo se V(T)=H(T) q.c. I differenziali che compaiono nella formula precedente sono differenziali stocastici, dal momento che sia V che ogni Si sono processi stocastici a tempo continuo. Il più tipico processo ...
Leggi Tutto
In senso stretto, quella parte della matematica che si propone di calcolare i valori di tutti gli elementi (lati e angoli) di un triangolo, quando siano noti tre di essi (tra cui almeno un lato); più in [...] a senβ, b=a cosγ, b=c tgβ, b=c ctgγ, c=a senγ, c=a cosβ, c=b tgγ, c=b ctgβ.
Altre formule e identità trigonometriche
Formule di addizione e sottrazione
Esprimono le funzioni circolari degli angoli α+β (e α−β) mediante quelle degli angoli α e β. Esse ...
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...