La civilta islamica: antiche e nuove tradizioni in matematica. Geometria pratica
Hélène Bellosta
Geometria pratica
Nella classificazione delle scienze di al-Fārābī figura la categoria dei 'procedimenti ingegnosi' (῾ilm al-ḥiyal) che comprende tra l'altro l'algebra assieme a un complesso di discipline, nelle quali si mescolano scienze matematiche ed elementi materiali, a dimostrazione che a quel ...
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à note, questo sembra a prima vista essere in rapporto con discipline che, anche se non del tutto indipendenti, ne sono comunque distinte: calcolo indiano basato sulla numerazione posizionale decimale, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni differenziali alle derivate parziali (EDP) comincia nel XVIII sec. a opera di Euler, Jean Le Rond d'Alembert, Joseph-Louis Lagrange e Pierre-Simon de Laplace come strumento decisivo per la descrizione ...
Leggi Tutto
Analisi matematica
Jean A. Dieudonné
Alcune delle idee fondamentali che sono alla base del calcolo risalgono ai Greci, ma il loro sviluppo sistematico iniziò soltanto nel XVII secolo. Alla fine di quel periodo, infatti, il concetto fondamentale di funzione reale di più variabili reali, la relativa interpretazione geometrica mediante un grafico e la natura delle due operazioni basilari del calcolo ...
Leggi Tutto
Scienza egizia. Matematica
Walter Friedrich Reineke
Friedhelm Hoffmann
Matematica
Nel mondo ellenistico, l'antichissimo, venerando e nondimeno meraviglioso Egitto era considerato la culla della scienza. Nel I sec. a.C. Diodoro Siculo scriveva, nel primo libro della sua Bibliotheca (I, 69), che gli Egizi sarebbero stati gli inventori non soltanto della scrittura, ma anche della geometria. Quattro ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili come indebolimenti di questa. Alla prima classe appartengono le logiche modali, volte ad assiomatizzare le nozioni interdefinibili con quella di possibilità e inizialmente studiate con particolare ...
Leggi Tutto
Analisi non lineare: metodi variazionali
Antonio Ambrosetti
I primi problemi di calcolo delle variazioni si presentano quasi spontaneamente, anche nello studio della geometria elementare e hanno infatti attratto l'interesse dei matematici fin dall'antichità. Per esempio, nel libro VI degli Elementi di Euclide si affronta il problema di trovare, tra tutti i rettangoli con perimetro assegnato, quello ...
Leggi Tutto
Fermat, ultimo teorema di
Massimo Bertolin
"Cubum autem in duos cubos, aut quadrato quadratum in duos quadrato quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos ejusdem nominis fas est dividere: cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet". La dimostrazione di quest'affermazione di Pierre de Fermat, formulata intorno al 1630 ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della matematica e raramente risolubili per via analitica. In generale, la loro soluzione non ammette una rappresentazione in forma esplicita: basti pensare a equazioni o sistemi non lineari (algebrici, differenziali ...
Leggi Tutto
Stocastica
Mark Kac
Storicamente i processi stocastici furono introdotti nel mondo della scienza (e più tardi della matematica) sotto una forma assai diversa da quella derivante dalla definizione formale che viene oggi data. Basterà dire che, molto prima che fossero introdotti in forma matematica, i processi stocastici non erano definiti ma solamente descritti assegnando un insieme di distribuzioni ...
Leggi Tutto
eco-centrale
s. f. Centrale per la produzione di energia le cui emissioni risultano poco inquinanti per l’ambiente. ◆ Secondo gli 007 dell’ambiente, la eco-centrale creava «un alto tasso di inquinamento prodotto dall’emissione di ceneri, polveri...
megawatt
‹-vàt› s. m. [comp. di mega- e watt]. – Unità di misura della potenza, pari a 106 watt, usata soprattutto per misurare la potenza prodotta, su grande scala, utilizzando le diverse fonti di energia; simbolo: MW.