Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] di lunghezze di segmenti e di aree di superfici rettangolari, come quella tra il lato e la diagonale del quadrato, che è dimostrata nella prop. 115 (il solo esempio di incommensurabilità trattato nel Libro X: v. Tav. II): se a è il lato e d ...
Leggi Tutto
Scienza greco-romana. La matematica nel V secolo
Reviel Netz
La matematica nel V secolo
Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] da Ippocrate di Chio. Tre secoli dopo, nel VI sec. d.C., Simplicio scrisse un altro commento alla Fisica e per dimostrare che il suo era superiore a quello di Alessandro di Afrodisia sottolineava gli errori presenti nel commento di quest’ultimo. Per ...
Leggi Tutto
Matematico britannico (n. Cambridge, Inghilterra, 1953), prof. alla Princeton University (1982); ha dato fondamentali contributi alla teoria dei numeri provando con metodi nuovi, basati sulla teoria delle [...] funzioni modulari, quelle congetture (e in partic. la congettura di Taniyama), che gli hanno permesso nel 1995 la prima dimostrazione del grande teorema di Fermat. Enunciato da Fermat in margine a un'edizione di Diofanto, tale teorema aveva resistito ...
Leggi Tutto
Matematico svedese (n. Stoccolma 1928); prof. alle univ. di Stoccolma (1954-55), di Uppsala (dal 1955) e della California meridionale di Los Angeles (1986), ha dato contributi fondamentali all'analisi [...] che è alla base del moderno concetto di trasformata rapida di Fourier. Nel 1991, insieme a M. Benedicks, C. ha dimostrato che un certo sistema dinamico (sistema di Henon), per molti valori del parametro in esso contenuto, è caotico, con un metodo ...
Leggi Tutto
risolubilita
risolubilità [Der. di risolubile "il fatto di essere risolubile"] [ALG] [FAF] Principio di r.: enunciato da D. Hilbert nel 1900, affermava che ogni problema matematico ben posto ammette [...] soluzioni; successiv. Hilbert, considerando che il principio stesso necessitava di una dimostrazione, rinunciò a sostenerlo ed enunciò in suo luogo il cosiddetto problema fondamentale della matematica o problema della decisione, che si propone di ...
Leggi Tutto
iterazione
iterazióne [Der. del lat. iteratio -onis, dal part. pass. iteratus di iterare "ripetere" (→ iterativo) e quindi "ripetizione"] [ALG] [ANM] Procedimento che consiste nel ripetere più volte [...] una data operazione allo scopo di realizzare un dato scopo, per es. la dimostrazione di un teorema o, più spesso, di determinare una soluzione via via più approssimata di un problema o di un'equazione; in quest'ultimo caso, tipic., si cerca la ...
Leggi Tutto
punto fisso
Luca Tomassini
Un punto x di un insieme X tale che F(x)=x per una determinata mappa F:X→X, ovvero di X in sé. Un tale punto si dirà anche punto fisso per F. La dimostrazione dell’esistenza [...] di punti fissi e l’individuazione di metodi di calcolo per determinarli costituiscono problemi matematici di grande importanza, poiché la soluzione di una qualunque equazione f(x)=0 si riduce (riscrivendola ...
Leggi Tutto
Matematico tedesco (n. Gelsenkirchen 1954), professore all'università di Wuppertal (1982-84) e alla Princeton University (1984-94), quindi (dal 1994) direttore del Max-Planck-Institut für Mathematik di [...] contributi alla geometria algebrica e alla teoria dei numeri dimostrando la congettura di Mordell, passo fondamentale nella successiva dimostrazione del grande teorema di Fermat (v.). Per tale dimostrazione ha ricevuto nel 1986 la Fields Medal. Tra ...
Leggi Tutto
Matematico ucraino (n. Char´kov 1954), prof. all'Istituto di fisica di Char´kov. Ha dato importanti contributi alla geometria algebrica, alla teoria dei numeri e alla teoria dei gruppi quantistici, ottenendo [...] nel 1990 la Fields Medal. In partic., a lui si deve la dimostrazione di una congettura di Langlands, ottenuta usando appropriate curve modulari. Nella meccanica quantistica, i suoi lavori con Y. Manin sugli istantoni hanno aperto la strada agli studi ...
Leggi Tutto
Scienza greco-romana. La geometria da Apollonio a Eutocio
Reviel Netz
La geometria da Apollonio a Eutocio
Il periodo di formazione del canone geometrico greco si estende dal 200 a.C. al 550 d.C., come [...] non è ovvio. Consideriamo, per esempio, la prop. 280: «Stia ΔE a EZ come AB sta a BΓ, e EΔ a ΔΘ come BA ad AH. [Dimostrare che] come il solido che ha per base il quadrato di AΓ e come altezza AB sta al solido che ha per base il quadrato di ΔZ e come ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...