Cronologia della matematica
Da Wikipedia, l'enciclopedia libera.
Una cronologia degli sviluppi più rilevanti della matematica.
Indice |
[modifica] Prima del 100 a.C.
- 2800 a.C. - Il quadrato Lo Shu, un quadrato magico del terzo ordine viene scoperto in Cina (data forse da posticipare).
- 2450 a.C. - Egitto, il primo metodo sistematico di calcolo del cerchio viene scoperto nella base del triangolo sacro 3-4-5.
- 1850 a.C. - Papiro di Mosca, esempio di calcolo del volume di un tronco di piramide.
- 1650 a.C. - Papiro di Rhind, in una copia di un rotolo perso nel 1850 a.C., lo scrivano Ahmes presenta la prima approssimazione conosciuta del π a 3.16, il primo tentativo di quadratura del cerchio, utilizza una sorta di arcotangente e mostra di saper risolvere equazioni di primo grado.
- 530 a.C. - Pitagora e i suoi discepoli studiano la geometria e le vibrazioni delle corde della lira; scoprono inoltre anche l'irrazionalità della radice quadrata di due.
- 370 a.C. - Eudosso utilizza il metodo di esaustione per determinare delle aree.
- 350 a.C. - Aristotele discute del ragionamento logico nell' Organon, ponendo le basi della logica classica.
- 300 a.C. - Euclide nei suoi Elementi studia la geometria come sistema assiomatico, dimostra l'infinità dei numeri primi e presenta l'algoritmo di Euclide. Nella Catoptrica enuncia la legge della riflessione; dimostra il teorema fondamentale dell'aritmetica.
- 260 a.C. - Archimede nella Misura del cerchio calcola le prime due cifre decimali di π mediante poligoni inscritti e circoscritti. Nella Quadratura della parabola calcola l'area di un segmento di parabola. Egli scrive anche Sulla sfera e sul cilindro, Sugli equilibri piani, Sui conoidi e sugli sferoidi e Sui corpi flottanti.
- 240 a.C. - Eratostene usa il crivello di Eratostene per isolare i numeri primi dalla infinità di numeri non primi, dimostrando ancora che i numeri primi sono a loro volta infiniti. Scrive Sulla misurazione della Terra.
- 225 a.C. - Apollonio di Perga scrive Sulle sezioni coniche e da un nome all'ellisse, alla parabola, e all'iperbole.
- 140 a.C. - Ipparco sviluppa le basi della trigonometria.
[modifica] Dal 100 a.C. al 1500
- II secolo - Claudio Tolomeo: Almagesto.
- 250? - Diofanto usa dei simboli per definire dei termini sconosciuti e scrive Arithmetica, la prima trattazione sistematica dell'algebra.
- 450 - Zu Chongzhi calcola il π con sette cifre decimali,
- 550 - I matematici indù danno allo zero una rappresentazione numerica in un sistema di rappresentazione posizionale,
- 628 - Brahmagupta scrive Brahma- sphuta- siddhanta,
- 750 - Al-Khwarizmi scrive Hisab al-jabr w'al-musqabalah. . Per primo lavora sui dettagli dell'aritmetica e dell'algebra, oltre che alla sistematizzazione della teoria delle equazioni lineari e quadratiche.
- 895 - Thabit ibn Qurra - L'unico frammento sopravvissuto dei suoi lavori contiene un capitolo sulle soluzioni e le proprietà delle equazioni di terzo grado,
- 975 - Al-Batani - Estende il concetto indiano di seno e coseno e delle altre funzioni trignonometriche come tangente, secante e reciproche. Scopre la formula: sin α = tan α / (1+tan² α) e cos α = 1 / (1 + tan² α).
- 1020 - Abul Wafa - Scopre la famosa formula: sin (α + β) = sin α cos β + sin β cos α. Discute della quadratura della parabola e del volume del paraboloide.
- 1030 - Ali Ahmed Nasawi - Sviluppa la divisione dei giorni in 24 ore, delle ore in 60 minuti e dei minuti in 60 secondi.
- 1070 - Omar Khayyam scrive il Trattato sulla dimostrazione dei problemi dell'algebra e classifica le equazioni di terzo grado. Inventa le equazioni quadratiche di secondo e terzo grado. Lavota alla riforma del calendario persiano
- 1150 ca. - Bashkara scrive Lilavati e Vija-ganita.
- 1202 - Leonardo Fibonacci dimostra l'utilità dei numeri arabi nel Liber abbaci. Introduce i numeri che portano il suo nome.
- 1303 - Zhu Shijie pubblica Specchio preciso dei quattro elementi (o Prezioso specchio ...), che contiene la prima trattazione dei coefficienti binomiali in un triangolo.
- 1400 ca. fiorisce la Scuola del Kerala.
- 1424 - Ghiyath al-Kashi calcola π fino alla sedicesima cifra decimale usando poligoni inscritti e circoscritti.
- 1478 - Arte dell'abbaco, o Aritmetica di Treviso, il primo libro di matematica stampato in tutto l'Occidente e uno dei primi testi scientifici stampati di tutta Europa.
[modifica] dal 1500 al 1700
- 1509 - Luca Pacioli scrive De divina proportione.
- 1520 - Scipione dal Ferro sviluppa un metodo per risolvere le equazioni cubiche.
- 1535 - Niccolò Tartaglia sviluppa un metodo per risolvere le equazioni cubiche.
- 1537 - Niccolò Tartaglia: La nova scientia.
- 1540 - Lodovico Ferrari risolve le equazioni di quarto grado.
- 1545 - Girolamo Cardano: Ars magna.
- 1556 - Niccolò Tartaglia: General tractato di numeri et misure.
- 1572 - Rafael Bombelli: L'algebra.
- 1586 - Simon Stevin: De Beghinselen der Weegcoonst.
- 1595 - Christoph Clavius: Novi calendarii romani apologia.
- 1596 - Ludolf van Ceulen calcola π fino alla ventesima cifra decimale inscrivendo e circonscrivendo il cerchio con un poligono.
- 1604 - Luca Valerio: De centro gravitatis solidorum libri tres.
- 1610 - Galileo Galilei: Sidereus nuncius.
- 1614 - John Napier tratta i logaritmi in base e in Mirifici Logarithmorum Canonis Descriptio.
- 1617 - Henry Briggs tratta i logaritmi decimali in Logarithmorum Chilias Prima.
- 1629 - Pierre de Fermat sviluppa un rudimentale calcolo differenziale,
- 1632 - Galileo Galilei: Dialogo sopra i massimi sistemi del mondo
- 1634 - Gilles de Roberval mostra che l'area coperta da una cicloide è tre volte l'area del relativo cerchio di generazione.
- 1635 - Bonaventura Cavalieri: Geometria indivisilibus continuorum nova quadam ratione promota.
- 1637 - René Descartes pubblica La géométrie in appendice al Discorso sul metodo (v. La geometria di Cartesio), introducendo l'idea di curva-equazione.
- 1637 - Pierre de Fermat scrive di aver dimostrato l'ultimo teorema di Fermat in un margine di una pagina di una copia dell'Arithmetica di Diofanto.
- 1639 - Girard Desargues: Brouillon project d'une atteinte aux evenemens des rencontres du Cone avec un Plan.
- 1640 - Blaise Pascal: Essay pour les coniques.
- 1654 - Blaise Pascal e Pierre de Fermat creano la teoria della probabilità.
- 1655 - John Wallis scrive l'Arithmetica Infinitorum, sul calcolo infinitesimale.
- 1656 - Christiaan Huygens: De ratiociniis in ludo aleae.
- 1658 - Christopher Wren mostra che la lunghezza della cicloide è quattro volte il diametro del cerchio di generazione,
- 1665 - Isaac Newton lavora sui teoremi fondamentali del calcolo infinitesimale,
- 1668 - Nicholas Mercator e William Brouncker scoprono la serie del logaritmo mentre tentano di calcolare l'area sottesa da un arco di iperbole.
- 1671 - James Gregory scopre l'espansione delle serie per l'inverso della tangente.
- 1671 - Isaac Newton scrive De methodis serierum et fluxionum che sarà pubblicato solo nel 1736.
- 1673 - Gottfried Leibniz scrive Dissertatio de arte combinatoria e formula la sua versione del calcolo infinitesimale.
- 1675 - Isaac Newton inventa il metodo per il calcolo delle radici,
- 1683 - Kowa Seki: Kai Fukudai no Ho.
- 1687 - Isaac Newton: Philosophiae naturalis principia mathematica.
- 1691 - Gottfried Leibniz scopre il metodo della separazione delle variabili per le equazioni differenziali ordinarie.
- 1693 - Edmund Halley prepara le prime tabelle di mortalità che collegano statisticamente il tasso di mortalità all'età.
- 1696 - Guillaume François Antoine, Marchese de l'Hôpital pubblica la sua regola per calcolare in modo semplice i limiti sotto alcune condizioni,
- 1696 - Jakob Bernoulli e Johann Bernoulli risolvono un problema definendo un calcolo delle variazioni.
[modifica] Dal 1700 al 1800
- 1706 - John Machin sviluppa una versione veloce della convergenza dell'inversa della serie della tangente per il calcolo di π per il quale ottiene 100 cifre decimali.
- 1712 - Brook Taylor sviluppa le serie di Taylor,
- 1713 - Jakob Bernoulli: Ars conjectandi
- 1715 - Brook Taylor: Methodus incrementorum directa et inversa, Londra
- 1722 - Abraham De Moivre pubblica il teorema di De Moivre collegando le funzioni trigonometriche e i numeri complessi,
- 1724 - Abraham De Moivre studia le statistiche della mortalità e fonda la teoria che sta alla base del calcolo dei vitalizi pubblicandola sui Annuities on Lives,
- 1730 - James Stirling pubblica The Differential Method,
- 1733 - Giovanni Gerolamo Saccheri pubblica Euclides ab omni naevo vindicatus sviluppando la geometria nell'ipotesi che il quinto postulato di Euclide sia falso, pensando che discenda dai postulsti precedenti.
- 1733 - Abraham de Moivre introduce la distribuzione normale come approssimazione della distribuzione binomiale in probabilità.
- 1734 - Eulero introduce le tecniche integrali per risolvere le equazioni differenziali ordinarie di primo grado.
- 1736 - Eulero nell'articolo Solutio problematis ad geometriam situs pertinentis (Comment. Acad. Sci. I. Petropolitanae, 8 pp. 128-140) risolve il problema dei sette ponti di Königsberg, avviando la teoria dei grafi.
- 1739 - Eulero risolve in modo generale le equazioni differenziali lineari omogenee a parametri costanti.
- 1742 - Christian Goldbach congettura che ogni numero pari maggiore di due possa essere espresso come la somma di due numeri primi, enunciato ora conosciuto come congettura di Goldbach.
- 1742 - Colin Maclaurin: A treatise of fluxions.
- 1744 - Eulero: Theoria motuum planetarum et cometarum.
- 1748 - Eulero: Introductio in analysin infinitorum.
- 1748 - Maria Gaetana Agnesi compone le Instituzioni Analitiche ad Uso della Gioventù Italiana, introduzione all'analisi infinitesimale apprezzata internazionalmente.
- 1755 Eulero: Institutiones calculi differentialis.
- 1761 - Thomas Bayes scopre il teorema di Bayes.
- 1762 - Joseph Louis Lagrange scopre il teorema della divergenza.
- 1763 - Thomas Bayes scrive An essay towards solving a problem in the doctine of chances (Philosophical transactions of the Royal society of London, 53 pp. 370-418), facendo nascere la statistica bayesiana.
- 1768-1770 Eulero: Institutiones calculi integralis.
- 1788 - Joseph-Louis Lagrange, Mécanique analytique, Parigi.
- 1789 - Jurij Vega sviluppa la formula di Machin e calcola π fino a 140 cifre decimali.
- 1794 - Jurij Vega pubblica Thesaurus Logarithmorum Completus.
- 1796 - Carl Friedrich Gauss dimostra che un poligono regolare con 17 lati può essere costruito solo con compasso e riga.
- 1796 - Adrien-Marie Legendre congettura il teorema dei numeri primi.
- 1797 - Caspar Wessel associa i vettori ai numeri complessi e studia le operazioni sui numeri complessi in termini geometrici.
- 1798 - Gaspard Monge: Géometrie descriptive, Parigi
- 1799 - Carl Friedrich Gauss scrive la Demonstratio nova theorematis omnem functionem algebraicum ... sul teorema fondamentale dell'algebra.
- 1799 - Carl Friedrich Gauss dimostra il teorema fondamentale dell'algebra (ogni equazione polinomiale ha un numero di soluzioni pari al proprio grado nei numeri complessi),
[modifica] Dal 1800 al 1850
- 1801 - Carl Friedrich Gauss nelle Disquisitiones Arithmaticae tratta la teoria dei numeri.
- 1805 - Adrien-Marie Legendre utilizza il metodo dei minimi quadrati per misurare una curva ottenuta da un insieme di osservazioni,
- 1807 - Joseph Fourier annuncia la scoperta della decomposizione trigonometrica delle funzioni,
- 1811 - Carl Friedrich Gauss discute il significato degli integrali con i limiti complessi e brevemente esamina la dipendenza di tali integrali sul percorso scelto per l'integrazione,
- 1815 - Siméon-Denis Poisson effettua le integrazioni lungo i percorsi nel piano complesso,
- 1817 - Bernard Bolzano presenta il teorema del valore medio, una funzione continua che è negativa in uno punto e positiva in un altro punto deve essere uguale a zero per almeno un punto tra il punto positivo e il punto negativo,
- 1822 - Augustin-Louis Cauchy presenta il teorema dell'integrale di Cauchy per integrazione intorno al contorno di un rettangolo in un piano complesso,
- 1824 - Niels Henrik Abel dimostra parzialmente che le equazioni di quinto o più alto grado non possono essere risolte da una formula generale che coinvolge soltanto gli operatori aritmetici e radici,
- 1825 - Augustin-Louis Cauchy presenta il teorema dell'integrale di Cauchy per i percorsi generali di integrazione -- presuppone che la funzione che è integrata ha un derivato continuo ed introduce la teoria dei residui nell'analisi matematica,
- 1825 - Johann Peter Gustav Lejeune Dirichlet e Adrien-Marie Legendre dimostrano l'ultimo teorema di Fermat per n = 5,
- 1825 - André-Marie Ampère scopre il teorema di Stokes.
- 1825 - Pierre-Simon Laplace: Essai philosophique sur les Probabilités
- 1828 - George Green dimostra il teorema che porta il suo nome.
- 1828 - Niels Abel: Recherches sur les fonctions elliptiques (J. reine angew. Math. 3 pp. 160-190).
- 1929 - Niels Abel: Mémoire sur une classe particulière d'équations résolubles algébriquement (J. reine angew. Math. 4 pp. 131-156).
- 1829 - Nikolai Ivanovich Lobachevsky pubblica il suo lavoro sulle superfici iperboliche nella geometria non euclidea,
- 1831 - Mikhail Vasilievich Ostrogradsky riscopre e dà la prima dimostrazione del teorema della divergenza descritto da Lagrance, da Gauss e da Green,
- 1832 - Évariste Galois scopre le condizioni generali per la risolvibilità delle equazioni algebriche, elemento essenziale e fondante della teoria dei gruppi e della teoria di Galois.
- 1832 - Peter Dirichlet dimostra l'ultimo teorema di Fermat con n = 14,
- 1835 - Peter Dirichlet dimostra il teorema di Dirichlet riguardante i numeri principali nelle progressioni aritmetiche,
- 1837 - Pierre Wantsel dimostra l'impossibilità di raddoppiare un cubo e trisecare un angolo mediante il solo uso di riga e compasso e chiarisce il problema della costruzione dei poligoni regolari.
- 1841 - Karl Weierstrass scopre, ma non pubblica, il teorema dell'espansione di Laurent.
- 1843 - Pierre-Alphonse Laurent scopre e pubblica il teorema dell'espansione di Laurent.
- 1843 - William Hamilton inventa il calcolo dei quaternioni e deduce la loro non commutatività,
- 1844 - Hermann Grassmann: Die lineale Ausdehnungslehre
- 1847 - George Boole formalizza la logica simbolica nel libro The Mathematical Analysis of Logic, definendo ciò che oggi è chiamata algebra Booleana.
- 1849 - George Gabriel Stokes mostra che le onde singole possono essere una combinazione di onde periodiche,
[modifica] Dal 1850 al 1900
- 1850 - Victor Alexandre Puiseux distingue tra poli e diramazioni in una funzione complessa e studia i punti singolari essenziali,
- 1850 - George Gabriel Stokes riscopre e dimostra il Teorema di Stokes,
- 1851 - Bernhard Bolzano: Paradoxien der unendlichen
- 1853 - William Rowan Hamilton: Lectures on quaternions
- 1854 - Bernhard Riemann con Über die Hypotesen, welche der Geometrie zu Grunde liegen inizia lo studio della geometria di Riemann.
- 1854 - Arthur Cayley mostra che i quaternioni possono essere usati per rappresentare rotazioni quattro-dimensionali nello spazio.
- 1858 - August Ferdinand Möbius inventa il nastro di Möbius,
- 1859 - Bernhard Riemann formula l'ipotesi di Riemann, enunciato con profonde implicazioni per la distribuzione dei numeri primi.
- 1868-1869 Eugenio Beltrami: Saggio di interpretazione della geometria non-euclidea (Giorn di Mat. VI pp. 284-312).
- 1870 - Felix Klein definisce una geometria analitica per la geometria di Lobachevski e dimostra che questa geometria è consistente e indipendente dal quinto postulato di Euclide.
- 1873 - Charles Hermite dimostra che la costante e è un numero trascendente.
- 1873 - Georg Frobenius presenta il suo metodo per la determinazione mediante serie di potenze delle soluzioni nelle equazioni differenziali lineari con i punti singolari regolari.
- 1874 - Georg Cantor mostra che l'insieme dei numeri reali è un insieme non numerabile e al contempo che l'insieme dei numeri algebrici è insieme numerabile. Contrariamente a una credenza diffusa, non usa il suo famoso argomento diagonale di Cantor, che pubblicherà tre anni dopo (non ha ancora formulato la teoria degli insiemi).
- 1878 - Charles Hermite risolve le equazioni di quinto grado generali per mezzo di funzioni ellittiche e modulari.
- 1879 - Gottlieb Frege: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle
- 1882 - Ferdinand von Lindemann dimostra che π è un numero trascendente e quindi che la quadratura del cerchio non può essere ottenuta servendosi solo di riga e compasso.
- 1882 - Felix Klein inventa la bottiglia di Klein.
- 1893 - Gottlieb Frege scrive Grundsetze der Arithmetik dando impulso allo studio dei fondamenti.
- 1893-1899 Henry Poincaré: Les méthodes nouvelles de la mécanique céleste, Parigi.
- 1895 - Poincaré scrive Analysis situs, segnando la nascita della topologia.
- 1895 - Diederik Korteweg e Gustav de Vries derivano l'equazione KdV che descrive l'evoluzione delle onde solitarie lungo un canale a sezione trasversale rettangolare.
- 1895 - Georg Cantor: .
- 1895-1905 Giuseppe Peano scrive il Formulaire de mathématiques, Torino
- 1895 - Georg Cantor pubblica Beiträge zur Begründung der transfiniten Mengenlehre (Matematische Annalen) sulla teoria degli insiemi che contiene l'aritmetica dei numeri transfinito e avanza l'ipotesi del continuo.
- 1896 - Jacques Hadamard e Charles de La Vallée-Poussin indipendentemente dimostrano il teorema dei numeri primi.
- 1896 - Hermann Minkowski scrive Geometry of numbers,
- 1899 - Georg Cantor scopre le contraddizioni nella teoria degli insiemi,
- 1899 - David Hilbert presenta un insieme autoconsistente di assiomi per la geometria nell'opera Grundlagen der Geometrie, I fondamenti della geometria.
[modifica] Dal 1900 al 1924
- 1900 - David Hilbert enuncia una lista di 23 problemi al fine di indicare le quastioni sulle quali dovessero concentrarsi gli sforzi per l'avanzamento della matematica (v. I 23 problemi di Hilbert).
- 1901 - Élie Cartan sviluppa le derivate esterne.
- 1903 - Carle David Tolme Runge presenta l'algoritmo della Fast Fourier Transform.
- 1903 - Edmund Georg Hermann Landau dà una dimostrazione molto semplice del teorema principale dei numeri.
- 1905 - Albert Einstein con l'articolo Zur elektrodinamik bewegter körper segna la nascita della relatività ristretta.
- 1906 - Axel Thue scrive Über unendlische Zeichenreihen (Skifterutgit Videnskapsselkapet i Kristiania, I pp. 1-22)
- 1908 - Ernst Zermelo assiomatizza la teoria degli insiemi, ed evidenzia le contraddizioni della "teoria ingenua degli insiemi" di Georg Cantor.
- 1908 - Josip Plemelj risolve il problema di Riemman dell'esistenza di un'equazione differenziale con dato gruppo monodromico e sviluppa le formule di Plemelj-Sokhotsky.
- 1910, 1913 Bertrand Russel e Alfred North Whitehead pubblicano i Principia Mathematica.
- 1912 - Luitzen Egbertus Jan Brouwer presenta il teorema del punto fisso di Brouwer.
- 1912 - Josip Plemelj pubblica una versione semplificata della dimostrazione dell'ultimo teorema di Fermat per n = 5,
- 1913 - Vito Volterra: Leçons sur les fonctions de lignes, Paris
- 1913 - Srinivasa Ramanujan trasmette una lunga lista di teoremi senza dimostrazione a G. H. Hardy.
- 1914 - Srinivasa Ramanujan pubblica Modular Equations and Approximations to π,
- 1919 - Viggo Brun definisce la costante di Brun B2 per i gemelli perfetti,
[modifica] Dal 1925 al 1949
- 1925 - Ronald Fisher: A statistical method for research workers.
- 1928 - John von Neumann comincia a stabilire i principi della teoria dei giochi e dimostra il teorema del minimax.
- 1930 - Kasimierz Kuratowski con l'articolo Sur le problème des courbes gauches en topologie (Fund. Math., 15 pp. 271-283) individua i due grafi non planari fondamentali.
- 1931 - Kurt Gödel dimostra il teorema di incompletezza che implica che ogni sistema assiomatico per la matematica è o incompleto o contradditorio.
- 1931 - Georges De Rham sviluppa il teorema della coomologia e delle classi caratteristiche.
- 1933 - Andrey Kolmogorov pone le basi della teoria della diffusione.
- 1932 - Stephan Banach: Théorie des opérations linéaires segnando la nascita dell'analisi funzionale.
- 1932 - Oswald Veblen e John Whitehead pubblicano Foundations of differential geometry.
- 1932 - John von Neumann scrive Mathematische Grundlagen der Quantenmechanik, ponendo le basi matematiche alla meccanica quantistica.
- 1933 - Karol Borsuk e Stanislaw Ulam presentano il teorema antipodale noto con i loro nomi.
- 1933 - Andrey Kolmogorov pubblica il libro Grundbegriffe der Wahrscheinlichkeitsrechnung sui fondamenti della teoria della probabilità, che presenta una assiomatizzazione della probabilità basata sulla teoria della misura.
- 1935 - Hassler Whitney scrive On the abstract properties of linear dependence (Amer. J. Math., 57 pp.509-533), contribuendo alla nascita della [[teoria delle matroidi).
- 1936 - Alan Turing pubblica On Computable Numbers, with an application to the Entscheidungsproblem (Proc. London Math. Soc., 42 pp. 230-265) nel quale introduce le nozioni di numero calcolabile e di macchina di Turing (articolo accessibile anche in linea).
- 1939 - Lev Semenovich Pontryagin scrive Topological groups.
- 1939-1969 - Nicolas Bourbaki procede alla stesura degli Éléments de Mathématique, editi da Hermann. Tra il 1982 e il 1998 saranno riediti da Masson e pooi Dunod; la versione in inglese è edita da Springer.
- 1940 - Kurt Gödel dimostra che né l'ipotesi del continuo né l'assioma della scelta possono essere refutati dagli assiomi standard della teoria degli insiemi.
- 1942 - G. C. Danielson e Cornelius Lanczos sviluppano l'algoritmo della Fast Fourier Transform.
- 1943 - Kenneth Levenberg propone un metodo per sommare i minimi quadrati in modo non lineare.
- 1944 - John von Neumann e Oskar Morgenstern pubblicano Theory of Games and Economic Behaviour, segnando la nascita della teoria dei giochi.
- 1947 - William Thomas Tutte scrive A factorization of linear graphs (J. London Math. Soc., 22 pp. 107-111), uno dei lavori seminali per la teoria dei grafi.
- 1948 - Il matematico John von Neumann studia il comportamento delle macchine auto-riproducentesi.
- 1949 - John von Neumann calcola il valore di π con 2.037 cifre decimali usando un computer ENIAC.
[modifica] Dal 1950 al 1974
- 1950 - Stanislaw Ulam e John von Neumann presentano gli automi cellulari nei sistemi dinamici.
- 1950-1951 - Laurent Schwartz pubblica Théorie des distributions (Hermann, Parigi).
- 1953 - Nicholas Metropolis introduce l'idea della ricottura simulata delle procedure termodinamiche,
- 1954 - Leonard Jimmy Savage: The foundation of statistics (J. Wiley) opera che segna il recupero della statistica bayesiana.
- 1954 - David Blackwell e Meyer A. Girshick: Theory of games and statistical decisions (J.Wiley)
- 1955 - Enrico Fermi, John Pasta, e Stanislaw Ulam studiano numericamente un modello non lineare della molla in conduzione di calore e il comportamento delle onde solitarie.
- 1955 - Alexandre Grothendieck: Produits tensorielles topologiques et espaces nucléaires
- 1956 - Noam Chomski: Three models for the description of language (IRE Trans. on Information Theory, IT2 pp. 113-124).
- 1956 - Samuel Eilenberg e Henri Cartan: Homological Algebra (Princeton University Press)
- 1957 - Alexandre Grothendieck: Sur quelques points d'algèbre homologique (Tohoku Math. J., 9 no. 2 pp. 119-183, 9 no. 3 pp. 185-221).
- 1960 - Alexandre Grothendieck: Elements de geometrie algebrique (Publ. math. I.H.E.S. n.4), opera che con la precedente avvia una rifondazione della geometria algebrica.
- 1960 - C. A. R. Hoare inventa l'algoritmo del quicksort.
- 1960 - Irving Reed e Gustave Solomon presentano il codice di correzione d'errore Reed-Solomon,
- 1961 - Daniel Shanks e John Wrench calcolano il π con 100,000 cifre decimali usando l'identità dell'inverso della tangente e un computer IBM-7090,
- 1962 - Donald Marquardt propone l'algoritmo di calcolo dei minimi quadrati non lineari Levenberg-Marquardt,
- 1962 - Lev Semenovich Pontryagin: The Mathematical Theory of Optimal Processes.
- 1963 - Paul Cohen usa la tecnica del forcing per dimostrare che né l'ipotesi del continuo né l'assioma della scelta possono essere derivati dagli assiomi standard della teoria degli insiemi.
- 1963 - Martin Kruskal e Norman Zabusky studiano analiticamente il problema delle conduzione del calore Fermi-Pasta-Ulam nel limite del continuo e provano che equazione di KdV governa questo sistema.
- 1964 - Gian-Carlo Rota: The theory of Möbius inversion (Wahrscheinleitskeittheorie), primo lavoro di Rota sui fondamento della moderna combinatorica.
- 1965 - Martin Kruskal e Norman Zabusky studiano numericamente le onde singole nel plasma e scoprono che non si disperdono dopo gli scontri,
- 1965 - James Cooley e John Tukey presentano l'algoritmo della Fast Fourier Transform,
- 1966 - E.J. Putzer presenta due metodi per la computazione dell'esponenziale della matrice in termini di polinomio in quella matrice,
- 1967 - Robert Langlands formula l'influente programma di Langlands delle congetture che collegano la teoria dei numeri e la teoria della rappresentazione,
- 1968 - Michael Atiyah e Isadore Singer dimostrano il teorema dell'indice di Atiyah-Cantante riguardante l'indice degli operatori ellittici,
- 1968 - Daniel Gorenstein: Finite Groups (Harper and Row), primo testo di riferimento per lo sviluppo della classificazione dei gruppi finiti semplici.
- 1968 - Heller Bass: Algebraic K-theory (Benjamin).
[modifica] dal 1975 al 1999
- 1975 - Benoit Mandelbrot pubblica Les objets fractals: forme, hasard, et dimension.
- 1975 - Benoit Mandelbrot: Les objets fractals, form, hasard et dimension,
- 1976 - Kenneth Appel e Wolfgang Haken usano il computer per sviluppare i dettagli necessari a dimostrare il teorema dei quattro colori.
- 1979 Michael R. Garey e David Stifter Johnson: Computers and Intractability (W. H. Freeman), testo che fa il punto sugli sviluppi della complessità computazionale.
- 1980-1992 Nicolas Bourbaki: Elements of Mathematics edizione inglese di Springer Verlag.
- 1983 - Gerd Faltings dimostra la congettura di Mordell e quindi dimostra che ci sono soltanto un numero limitato di soluzioni intere per ogni esponente dell'ultimo teorema di Fermat.
- 1983 - La classificazione dei gruppi semplici finiti, un lavoro di collaborazione cui partecipano circa cento matematici e durato trenta anni, viene terminato.
- 1985 - Louis de Branges de Bourcia dimostra la congettura di Bieberbach.
- 1987 - Yasumasa Kanada, David Bailey, Jonathan Borwein, e Peter Borwein usano le approssimazioni modulari iterative di equazione agli integrali ellittici ed un supercomputer NEC Sx-2 per calcolare il π a 134 milioni di cifre decimali.
- 1991 - Alain Connes e John W. Lott sviluppano la geometria non commutativa,
- 1994 - Andrew Wiles dimostra parte della congettura Taniyama-Shimura e successivamente dimostra l'ultimo teorema di Fermat.
- 1996 Marko Petkovsek, Herbert S. Wilf e Doron Zeilberger scrivono A=B (A. K. Peters), trattazione delle procedure che consentono una elaborazione sistematica delle identità ipergeometriche.
- 1998 - Thomas Hales (quasi certamente) dimostra la congettura di Keplero,
- 1999 - Tutta la congettura Taniyama-Shimura viene dimostrata.
[modifica] Dopo il 2000
- 2000 - Il Clay Mathematics Institute enuncia sette problemi proposti come i più importanti della matematica classica per il terzo millennio e offre un premio a chi riuscirà a risolverli.
- 2002 - Manindra Agrawal, Nitin Saxena, e Neeraj Kayal dell'IIT Kanpur presentano un algoritmo deterministico incondizionale di complessità polinomiale in grado di stabilire se un numero naturale è un numero primo.
- 2002 - Yasumasa Kanada, Y. Ushiro, Hisayasu Kuroda, Makoto Kudoh e un gruppo di altre nove persone calcolano π con 1241 miliardi di cifre decimali usando un supercomputer Hitachi da 64-nodi.
- 2004 - Richard Arenstorf fornisce dimostrazioni della congettura dei numeri primi gemelli e della congettura di Hardy-Littlewood e Michel Balazard scopre che contengono un errore nel Lemma 8.
[modifica] Note
Questo articolo ha preso avvio dalla Timeline sviluppata da Niel Brandt (1994) il quale ha acconsentito al suo utilizzo in Wikipedia. (Vedi en:Talk:Timeline of mathematics.)
[modifica] Voci correlate
- Cronologia della matematica
- Storia della matematica
- Progetto Matematica
- Elenchi di testi matematici
- Indici per la matematica