La civiltà islamica: antiche e nuove tradizioni in matematica. Trigonometria
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Trigonometria
Marie-Thérèse Debarnot
Trigonometria
Dalla geometria alla trigonometria
La trigonometria, scienza ausiliaria dello studio [...] l'arco BG suddiviso in sei archi uguali, Z e il punto H tale che
fanno parte della suddivisione, e l'applicazione ripetuta del teorema porta alla doppia disuguaglianza
cioè
Abū al-Wafā᾽ ottiene così:
[38] 0;31,24,55,52,2⟨Sen(1/2)°⟨0;31,24,55 ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Bertini, Eugenio
Enciclopedia on line
Matematico italiano (Forlì 1846 - Pisa 1933). Volontario nella guerra del 1866, allievo a Bologna di L. Cremona, poi a Pisa di E. Betti e U. Dini; prof. nelle univ. di Pavia e di Pisa, dove si stabilì [...] della determinazione dei tipi birazionalmente distinti d'involuzioni cremoniane piane. Portano il nome del B. alcuni teoremi di geometria algebrica sui sistemi lineari. Tra le opere: Introduzione alla geometria proiettiva degli iperspazi (1907 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Germain, Sophie
Enciclopedia on line
Matematica (Parigi 1776 - ivi 1831). Dopo avere studiato, giovanissima, il testo del corso di analisi di G. L. Lagrange, gli inviò talune osservazioni scritte: da ciò derivò una fruttuosa relazione scientifica. [...] , che non riuscì a dimostrare (e che rimane tuttora indimostrato), ma il cui studio la portò a importanti teoremi di teoria dei numeri; notevoli, poi, le sue ricerche sulle proprietà delle lastre (statica delle piastre, vibrazioni delle membrane ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
VARIAZIONI, CALCOLO DELLE
Enciclopedia Italiana (1937)
VARIAZIONI, CALCOLO DELLE.
Leonida Tonelli
- È quel ramo dell'analisi matematica che studia i problemi di massimo e minimo (v. massimi e minimi) relativi a quantità variabili, che si presentano sotto [...] y′) ≥ μ ∣y′∣α + ν, con α, μ, ν costanti tali che α > 1, μ > 0 (L. Tonelli). Sono noti anche teoremi di esistenza dell'estremo assoluto per classi di curve più generali della S-80???.
Stabilita l'esistenza di una curva estremante assoluta, se ne ...
Leggi Tutto
fisso
Dizionario delle Scienze Fisiche (1996)
fisso
fisso [Der. del part. pass. fixus di figere "fermare"] [LSF] Fermo, non mobile, detto di cosa che non muta di posizione: riferimento f.; figurat., di grandezza che non muta di valore: condensatore [...] T che agisca su uno spazio topologico X è il punto x₀∈X tale che x₀=Tx₀. Di notevole interesse sono i teoremi che garantiscono l'esistenza di punti f. per T (per es., → contrazione). ◆ [ASF] Stelle f.: denomin. data in passato alle stelle o ...
Leggi Tutto
incompleto
Dizionario delle Scienze Fisiche (1996)
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono conseguenze dell'insieme dei suoi assiomi che non sono teoremi della teoria stessa. ...
Leggi Tutto
GIGLI, Duilio
Dizionario Biografico degli Italiani (2000)
GIGLI, Duilio
Enrico Giannetto
Nacque a Sansepolcro, nell'Alta Valle del Tevere, l'8 genn. 1878, da Torquato e Anna Belli. Dopo gli studi classici a Pavia, si laureò in matematica a Pisa, sotto la direzione [...] estrasse quello che costituisce il suo primo lavoro di ricerca in cui presenta un'estensione agli spazi curvi di teoremi dovuti a E. Beltrami: Superfici elicoidali e rigate dello spazio ellittico, in Rendiconti del R. Istituto lombardo di scienze ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] Heyting) e poiché – come provato da Marshal Stone – ogni algebra di Heyting è isomorfa a un reticolo di aperti, i teoremi proposizionali di HI sono le formule vere in ogni interpretazione in algebre di Heyting. Con le tecniche introdotte da Tarski si ...
Leggi Tutto
CATEGORIA:
LOGICA
Noether
Enciclopedia on line
Matematico (Mannheim 1844 - Erlangen 1921), prof. alle univ. di Heidelberg (1874) ed Erlangen (dal 1875 alla morte); socio straniero dei Lincei (1893). Ha lasciato ricerche fondamentali sulle funzioni [...] ricerche furono validamente riprese dalla scuola geometrica italiana. Fu condirettore dei Mathematische Annalen e curò l'edizione delle opere di Riemann. Il suo nome è associato a varie nozioni e a varî teoremi, soprattutto in geometria algebrica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
L'Ottocento: matematica. La geometria non euclidea
Storia della Scienza (2003)
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] che gli consentisse di provare la verità del V postulato, Saccheri riuscì comunque, suo malgrado, a stabilire un certo numero di teoremi e proprietà di quella che oggi si chiama geometria non euclidea.
Dopo la morte di Saccheri, verso la metà del ...
Leggi Tutto