Hilbert, problemi di
Hilbert, problemi di lista di problemi (23 in tutto), all’epoca irrisolti, esposti in parte da D. Hilbert nel 1900, in occasione del secondo Congresso internazionale dei matematici [...] ha dimostrato che ogni funzione razionale definita positiva è somma di quadrati. Tuttavia il metododi Artin non era costruttivo e non dava nessuna stima del numero dei quadrati di funzioni razionali che occorrevano; per questo lo studio del problema ...
Leggi Tutto
La scienza nell'antichità greco-romana
Geoffrey E.R. Lloyd
John Vallance
La riscoperta del passato
Siamo abituati a guardare alle conquiste dell'antichità greco-romana con ammirazione e persino con [...] euristico. I risultati così ottenuti, benché corretti, devono, secondo l'autore, essere dimostrati attraverso i metodidiesaustione, rigorosamente matematici. Ancora una volta, in alcune branche della matematica ‒ come, per esempio, l'armonia e ...
Leggi Tutto
analisi infinitesimale
analisi infinitesimale settore della matematica che comprende il calcolo differenziale e integrale nonché la teoria dei limiti, delle serie, delle frazioni continue e dei prodotti [...] , indagini incentrate sui procedimenti di calcolo (algoritmi) infiniti. A questo filone di ricerca appartengono i dibattiti sui paradossi di Zenone, i postulati sulla continuità e il metododi calcolo detto per esaustione usato da Euclide e Archimede ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] di Archimede. Già Ippocrate conosceva la decomposizione (v. cap. XVI) ed Eudosso fu probabilmente l’inventore dello ‘schiacciamento’, o ‘esaustione La quadratura della parabola e il Metodo). I due gruppi di trattati sollevano ciascuno un problema. Per ...
Leggi Tutto
Euclide
Euclide (secc. iv - iii a.C.) matematico greco, autore degli Elementi, la più importante opera scientifica dell’antichità, che costituì per quasi due millenni la base del pensiero matematico [...] perché vi è applicato un metodo che sarebbe rimasto per due millenni un modello insuperato di rigore e chiarezza. Con di derivazione eleatica), quella per esaustione e la dimostrazione grafica, che si fonda sulla costruzione con riga e compasso di ...
Leggi Tutto
VALERIO, Luca
Amedeo Agostini
Matematico, nato - sembra da famiglia oriunda ferrarese - a Napoli intorno al 1552, morto a Roma nel 1618. Dal 1600 insegnò matematica e greco alla Sapienza di Roma. Fu [...] delle proporzioni, risultati notevoli evitando le lunghe dimostrazioni per esaustione dei classici; e l'opera di V. influì senza dubbio tanto su quella di G. di San Vincenzo, quanto su quella di P. Mengoli. V. applica le proprietà richiamate non solo ...
Leggi Tutto
esaustione
eṡaustióne s. f. [dal lat. tardo exhaustio -onis «atto di esaurire», der. di exhaustus, part. pass. di exhaurire «esaurire»]. – Propr., l’esaurire, esaurimento. Più in partic., riduzione all’assurdo, nella locuz. metodo di e., schema...