Cronologia matematicii
Salt la navigare Salt la căutare
O cronologie a celor mai relevante evoluții în matematică .
Înainte de 100 î.Hr.
- 2800 î.Hr. - Legendele despre piața Lo Shu din China , un pătrat magic de ordinul trei, se referă la această dată (datarea, doar legendară, trebuie amânată).
- 1850 î.Hr. - papirusul Moscovei , exemplu de calcul al volumului unei piramide trunchiate.
- 1650 î.Hr. - Papirusul lui Rhind , într-o copie a unui pergament pierdut în 1850 î.Hr., scribul Ahmes prezintă prima aproximare cunoscută de π la 3,16, prima încercare de a pătrat cercul , folosește un fel de arctangent și arată că poate rezolva ecuații primul grad.
- 530 î.Hr. - Pitagora și discipolii săi studiază geometria și vibrațiile corzilor lirei ; descoperă, de asemenea, iraționalitatea rădăcinii pătrate a lui 2 .
- 370 î.Hr. - Eudoxus folosește metoda epuizării pentru a determina ariile .
- 350 î.Hr. - Aristotel discută raționamentul logic în Organon , punând bazele logicii clasice.
- 300 î.Hr. - Euclid în Elementele sale studiază geometria ca sistem axiomatic , demonstrează infinitatea numerelor prime și prezintă algoritmul lui Euclid . În Catoptrica enunță legea reflecției; dovedește teorema fundamentală a aritmeticii .
- 260 î.Hr. - Arhimede în Măsura cercului calculează primele două cifre zecimale ale π prin intermediul poligoanelor înscrise și circumscrise. În Cadratura parabolei calculează aria unui segment al unei parabole . El scrie, de asemenea, Pe sferă și pe cilindru , Pe echilibrele plane , Pe conoizi și sferoizi și Pe corpuri plutitoare .
- 240 î.Hr. - Eratostene din Cirene folosește sita Eratostene pentru a izola numerele prime de la infinitul numerelor neprime, demonstrând din nou că numerele prime sunt ele însele infinite. El scrie Despre măsurarea Pământului .
- 225 î.Hr. - Apollonius din Perga scrie Pe secțiunile conice și dă un nume elipsei , parabolei și hiperbolei .
- 140 î.Hr. - Hipparchus dezvoltă elementele de bază ale trigonometriei .
De la 100 î.Hr. până la 1500
- Secolul II - Claudius Ptolemeu : Almagest .
- 250 ? - Diofantul Alexandriei folosește simboluri pentru a defini termeni necunoscuți și scrie Arithmetica , primul tratament sistematic al algebrei .
- 450 - Zu Chongzhi calculează π cu șapte cifre zecimale,
- 550 - Matematicienii hinduși dau 0 o reprezentare numerică într-un sistem de reprezentare pozițională ,
- 628 - Brahmagupta scrie Brahma-sphuta-siddhanta ,
- 750 - Muḥammad ibn Mūsā al-Khwārizmī scrie Hisab al-jabr w'al-musqabalah . . El este primul care lucrează la detaliile aritmeticii și algebrei , precum și la sistematizarea teoriei ecuațiilor liniare și pătratice.
- 895 - Thābit ibn Qurra - Singurul fragment supraviețuitor al lucrărilor sale conține un capitol despre soluțiile și proprietățile ecuațiilor de gradul III ,
- 975 - Muḥammad ibn Jābir al-Ḥarrānī al-Battānī - Extinde conceptul indian de sinus și cosinus și alte funcții trignonometrice, cum ar fi tangente, secante și reciproce. El găsește formula: sin α = tan α / √ (1 + tan² α) și cos α = 1 / √ (1 + tan² α).
- 1020 - Abu l-Wafa Muhammad al-Buzjani - El descoperă celebra formulă: sin (α + β) = sin α cos β + sin β cos α. Discutați despre cuadratura parabolei și volumul paraboloidului .
- 1030 - Ali Ahmed Nasawi - Dezvoltarea împărțirii zilelor în 24 de ore, a orelor în 60 de minute și a minutelor în 60 de secunde.
- 1070 - marUmar Khayyām scrie Tratatul despre dovada problemelor algebrei și clasifică ecuațiile de gradul III . Inventați ecuațiile pătratice de gradul II și III. Lucrați la reforma calendarului persan
- 1150 cca. - Bashkara scrie Lilavati și Vija-ganita .
- 1202 - Leonardo Fibonacci demonstrează utilitatea sistemului de numerotare arabă în Liber abbaci . El introduce numerele care îi poartă numele.
- 1303 - Zhu Shijie publică Oglinda precisă a celor patru elemente (sau Oglinda prețioasă ... ), care conține primul tratament al coeficienților binomiali într-un triunghi.
- 1400 ca. Școala Kerala înflorește.
- 1424 - Ghiyath al-Kashi calculează π până la a șaisprezecea zecimală folosind poligoane înscrise și circumscrise.
- 1478 - Arte dell'abbaco sau Aritmetica din Treviso , prima carte de matematică tipărită în tot Occidentul și unul dintre primele texte științifice tipărite în toată Europa.
De la 1500 la 1700
- 1509 - Luca Pacioli scrie De divina proportione .
- 1520 - Scipione del Ferro dezvoltă o metodă de rezolvare a ecuațiilor cubice.
- 1535 - Niccolò Tartaglia dezvoltă o metodă de rezolvare a ecuațiilor cubice.
- 1537 - Niccolò Tartaglia : Nova scientia .
- 1540 - Lodovico Ferrari rezolvă ecuațiile de gradul patru .
- 1545 - Girolamo Cardano : Ars magna .
- 1556 - Niccolò Tartaglia : Tratat general privind numerele și măsurile .
- 1572 - Rafael Bombelli : Algebra .
- 1586 - Simone Stevino : De Beghinselen der Weegcoonst .
- 1595 - Cristoforo Clavio : Novi Roman calendars apologia .
- 1596 - Ludolph van Ceulen calculează π până la a douăzecea zecimală prin inscrierea și circumscrierea cercului cu un poligon.
- 1604 - Luca Valerio : De centru gravitatis solidorum libri tre .
- 1610 - Galileo Galilei : Sidereus nuncius .
- 1614 - Napier se ocupă de logaritmi în bază și în Mirifici Logarithmorum Canonis Descriptio .
- 1617 - Henry Briggs se ocupă de logaritmi zecimali în Logarithmorum Chilias Prima .
- 1629 - Pierre de Fermat dezvoltă un calcul diferențial rudimentar,
- 1632 - Galileo Galilei : Dialog despre cele mai mari sisteme ale lumii
- 1634 - Gilles de Roberval arată că aria acoperită de un cicloid este de trei ori aria cercului său de generație.
- 1635 - Bonaventura Cavalieri : Geometria indivisilibus continuorum nova quadam ratione promota .
- 1637 - Descartes publică La géométrie ca apendice la Discursul despre metodă (vezi geometria lui Descartes ), introducând ideea ecuației curbei.
- 1637 - Pierre de Fermat scrie că a dovedit ultima teoremă a lui Fermat în marginea unei pagini a copiei Arithmetica lui Diophantus.
- 1639 - Girard Desargues : Brouillon project d'une atteinte aux evenemens des rencontres du Cone avec un Plan .
- 1640 - Blaise Pascal : Essay pour les contiques .
- 1654 - Blaise Pascal și Pierre de Fermat creează teoria probabilității .
- 1655 - John Wallis scrie Arithmetica Infinitorum , pe calculul infinitesimal.
- 1656 - Christiaan Huygens : De ratiociniis in ludo aleae .
- 1658 - Christopher Wren arată că lungimea cicloidei este de patru ori diametrul cercului de generație,
- 1665 - Isaac Newton lucrează la teoremele fundamentale ale calculului infinitesimal ,
- 1668 - Nicolaus Mercator și William Brouncker descoperă seria logaritmului în timp ce încearcă să calculeze aria subtendată de un arc de hiperbolă .
- 1671 - James Gregory descoperă extinderea seriei prin inversul tangentei .
- 1671 - Isaac Newton scrie De methodis serierum et fluxionum care va fi publicat abia în 1736 .
- 1673 - Gottfried Wilhelm von Leibniz scrie Dissertatio de arte combinatoria și își formulează versiunea calculului infinitesimal.
- 1675 - Isaac Newton inventează metoda de calcul a rădăcinilor ,
- 1683 - Kōwa Seki : Kai Fukudai no Ho .
- 1687 - Isaac Newton : Philosophiae Naturalis Principia Mathematica .
- 1691 - Gottfried Wilhelm von Leibniz descoperă metoda separării variabilelor pentru ecuațiile diferențiale obișnuite .
- 1693 - Edmond Halley pregătește primele tabele de mortalitate care leagă statistic rata mortalității de vârstă.
- 1696 - Guillaume François Antoine Marquis de l'Hôpital își publică regula pentru calcularea limitelor într-un mod simplu în anumite condiții.
- 1696 - Jakob Bernoulli și Johann Bernoulli rezolvă o problemă definind un calcul al variațiilor .
Din 1700 până în 1800
- 1706 - John Machin dezvoltă o versiune rapidă a convergenței inversului seriei tangente pentru calculul lui π pentru care obține 100 de zecimale.
- 1712 - Brook Taylor dezvoltă seria Taylor ,
- 1713 - Jakob Bernoulli : Ars conjectandi
- 1715 - Brook Taylor : Methodus incrementorum direct și inversa , Londra
- 1722 - Abraham de Moivre publică Formula lui Moivre care leagă funcțiile trigonometrice și numerele complexe ,
- 1724 - Abraham de Moivre studiază statisticile mortalității și întemeiază teoria care stă la baza calculului anuităților, publicând-o în Annuities on Lives ,
- 1730 - James Stirling publică The Differential Method ,
- 1733 - Giovanni Girolamo Saccheri publică Euclides ab omni naevo vindicatus dezvoltând geometria în ipoteza că cel de-al cincilea postulat al lui Euclid este fals, crezând că acesta coboară din postulurile anterioare.
- 1733 - Abraham de Moivre introduce distribuția normală ca o aproximare a distribuției binomiale în probabilitate.
- 1734 - Euler introduce tehnicile integrale pentru rezolvarea ecuațiilor diferențiale obișnuite de gradul I.
- 1736 - Euler în articolul Solutio problematis ad geometriam situs pertinentis (Comment. Acad. Sci. I. Petropicolee, 8 pp. 128-140) rezolvă problema podurilor Königsberg , începând teoria graficelor .
- 1739 - Euler rezolvă ecuații diferențiale liniare omogene cu parametri constanți într-un mod general.
- 1742 - Christian Goldbach conjecturează că orice număr par mai mare de două poate fi exprimat ca suma a două numere prime, cunoscută acum sub numele de conjectura lui Goldbach .
- 1742 - Colin Maclaurin : Un tratat de fluxuri .
- 1744 - Euler : Theoria motuum planetarum et cometarum .
- 1748 - Euler : Introductio in analysin infinitorum .
- 1748 - Maria Gaetana Agnesi compune Instituțiile analitice pentru utilizarea tineretului italian , o introducere în analiza infinitesimală apreciată la nivel internațional.
- 1755 Euler : Institutiones calculi differentialis .
- 1761 - Thomas Bayes descoperă teorema lui Bayes .
- 1762 - Joseph-Louis Lagrange descoperă teorema divergenței .
- 1763 - Thomas Bayes scrie Un eseu către rezolvarea unei probleme în doctrina șanselor (Philosophical transactions of the Royal society of London, 53 pp. 370-418), dând naștere statisticilor bayesiene .
- 1768 - 1770 Euler : Institutiones calculi integralis .
- 1788 - Joseph-Louis Lagrange , Mécanique analytique , Paris.
- 1789 - Jurij Vega dezvoltă formula lui Machin și calculează π până la 140 de zecimale.
- 1794 - Jurij Vega publică Thesaurus Logarithmorum Completus .
- 1796 - Carl Friedrich Gauss demonstrează că un poligon regulat cu 17 laturi poate fi construit doar cu busolă și riglă .
- 1796 - Adrien-Marie Legendre presupune teorema numărului prim .
- 1797 - Caspar Wessel asociază vectori cu numere complexe și studiază operațiuni pe numere complexe în termeni geometrici.
- 1798 - Gaspard Monge : Géometrie descriptive , Paris
- 1799 - Carl Friedrich Gauss scrie Demonstratio nova theorematis omnem functionem algebraicum ... pe teorema fundamentală a algebrei .
- 1799 - Carl Friedrich Gauss demonstrează teorema fundamentală a algebrei (fiecare ecuație polinomială are un număr de soluții egal cu gradul său în numere complexe),
Din 1800 până în 1850
- 1801 - Carl Friedrich Gauss în Disquisitiones Arithmaticae se ocupă de teoria numerelor .
- 1805 - Adrien-Marie Legendre folosește metoda celor mai mici pătrate pentru a măsura o curbă obținută dintr-un set de observații,
- 1807 - Jean Baptiste Joseph Fourier anunță descoperirea descompunerii trigonometrice a funcțiilor ,
- 1811 - Carl Friedrich Gauss discută despre semnificația integralelor cu limite complexe și examinează pe scurt dependența acestor integrale de calea aleasă pentru integrare,
- 1815 - Siméon-Denis Poisson realizează integrările de-a lungul căilor din planul complex,
- 1817 - Bernard Bolzano prezintă teorema valorii medii , o funcție continuă care este negativă într-un punct și pozitivă în alt punct trebuie să fie egală cu zero pentru cel puțin un punct între punctul pozitiv și punctul negativ,
- 1822 - Augustin-Louis Cauchy prezintă teorema integrală a lui Cauchy pentru integrarea în jurul limitei unui dreptunghi într-un plan complex ,
- 1824 - Niels Henrik Abel demonstrează parțial că ecuațiile de gradul cinci sau superior nu pot fi rezolvate printr-o formulă generală care implică doar operatorii și rădăcinile aritmetice,
- 1825 - Augustin-Louis Cauchy prezintă teorema integrală a lui Cauchy pentru căile generale de integrare - presupune că funcția integrată are o derivată continuă și introduce teoria reziduală în analiza matematică ,
- 1825 - Peter Gustav Lejeune Dirichlet și Adrien-Marie Legendre demonstrează ultima teoremă a lui Fermat pentru n = 5,
- 1825 - André-Marie Ampère descoperă teorema rotorului .
- 1825 - Pierre Simon Laplace : Essai philosophique sur les Probabilités
- 1828 - George Green demonstrează teorema care îi poartă numele.
- 1828 - Niels Henrik Abel : Recherches sur les fonctions elliptiques (J. reine angew. Math. 3 pp. 160-190).
- 1929 - Niels Henrik Abel : Mémoire sur une classe particulière d'équations résolubles algébriquement (J. reine angew. Math. 4 pp. 131–156).
- 1829 - Nikolaj Ivanovich Lobachevsky își publică lucrarea pe suprafețe hiperbolice în geometrie neeuclidiană ,
- 1831 - Mikhail Vasilievich Ostrogradsky redescoperă și oferă prima dovadă a teoremei divergenței descrisă de Lagrance, Gauss și Green,
- 1832 - Évariste Galois descoperă condițiile generale pentru solvabilitatea ecuațiilor algebrice, un element esențial și fondator al teoriei grupurilor și teoriei Galois .
- 1832 - Peter Dirichlet demonstrează ultima teoremă a lui Fermat cu n = 14,
- 1835 - Peter Dirichlet demonstrează teorema lui Dirichlet cu privire la numerele principale în progresii aritmetice,
- 1837 - Pierre Wantsel demonstrează imposibilitatea de a dubla un cub și de a triseca un colț doar folosind o riglă și o busolă și clarifică problema construcției poligoanelor regulate.
- 1841 - Karl Weierstraß descoperă, dar nu publică, teorema expansiunii lui Laurent .
- 1843 - Pierre-Alphonse Laurent descoperă și publică teorema expansiunii lui Laurent .
- 1843 - William Hamilton inventează calculul cuaternionilor și deduce necomutativitatea acestora,
- 1844 - Hermann Günther Grassmann : Die lineale Ausdehnungslehre
- 1847 - George Boole formalizează logica simbolică în cartea Analiza matematică a logicii , definind ceea ce se numește acum algebră booleană .
- 1849 - George Stokes arată că undele unice pot fi o combinație de unde periodice,
Din 1850 până în 1900
- 1850 - Victor Alexandre Puiseux face distincție între poli și ramuri într-o funcție complexă și studiază punctele esențiale singulare ,
- 1850 - George Stokes redescoperă și demonstrează teorema lui Stokes ,
- 1851 - Bernard Bolzano : Paradoxien der unendlichen
- 1853 - William Rowan Hamilton : Prelegeri cuaternare
- 1854 - Bernhard Riemann începe studiul geometriei eliptice cu Über die Hypotesen, welche der Geometrie zu Grunde liegen .
- 1854 - Arthur Cayley arată că cuaternionii pot fi folosiți pentru a reprezenta rotații în patru dimensiuni în spațiu .
- 1858 - August Ferdinand Möbius inventează banda Möbius ,
- 1859 - Bernhard Riemann formulează ipoteza Riemann , afirmată cu implicații profunde pentru distribuția numerelor prime .
- 1868 - 1869 Eugenio Beltrami : Eseu despre interpretarea geometriei neeuclidiene (Giornate di Mat. VI pp. 284-312).
- 1870 - Felix Klein definește o geometrie analitică pentru geometria lui Lobachevski și demonstrează că această geometrie este consecventă și independentă de cel de - al cincilea postulat al lui Euclid .
- 1873 - Charles Hermite demonstrează că e constantă este un număr transcendent .
- 1873 - Ferdinand Georg Frobenius își prezintă metoda de determinare prin serie de puteri a soluțiilor în ecuații diferențiale liniare cu puncte singular regulate.
- 1874 - Georg Cantor arată că mulțimea numerelor reale este un set nenumărat și în același timp că mulțimea numerelor algebrice este împreună numărabilă . Contrar credinței răspândite, el nu folosește celebrul său argument diagonal Cantor , pe care îl va publica trei ani mai târziu (el nu a formulat încă teoria mulțimilor ).
- 1878 - Charles Hermite rezolvă ecuațiile generale de gradul cinci prin intermediul funcțiilor eliptice și modulare.
- 1879 - Gottlob Frege : Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , Halle
- 1882 - Ferdinand von Lindemann demonstrează că π este un număr transcendent și, prin urmare, că pătratul cercului nu poate fi obținut folosind doar o riglă și o busolă .
- 1882 - Felix Klein inventează sticla Klein .
- 1893 - Gottlob Frege scrie Grundsetze der Arithmetik dând un impuls studiului fundamentelor.
- 1893 - 1899 Henri Poincaré : Les méthodes nouvelles de la mécanique céleste , Paris.
- 1895 - Poincaré scrie Analysis situs , marcând nașterea topologiei.
- 1895 - Diederik Korteweg și Gustav de Vries derivă ecuația KdV care descrie evoluția undelor solitare de-a lungul unui canal cu secțiune transversală dreptunghiulară.
- 1895 - Georg Cantor :.
- 1895 - 1905 Giuseppe Peano scrie Formulaire de mathématiques , Torino
- 1895 - Georg Cantor publică Beiträge zur Begründung der transfiniten Mengenlehre (Matematische Annalen) despre teoria mulțimilor care conține aritmetica numerelor transfinite și avansează ipoteza continuumului .
- 1896 - Jacques Hadamard și Charles de La Vallée-Poussin demonstrează independent teorema numărului prim .
- 1896 - Hermann Minkowski scrie Geometry of numbers ,
- 1899 - Georg Cantor descoperă contradicții în teoria mulțimilor,
- 1899 - David Hilbert prezintă un set auto-consistent de axiome pentru geometrie în Grundlagen der Geometrie , Bazele geometriei.
Din 1900 până în 1924
- 1900 - David Hilbert stabilește o listă de 23 de probleme pentru a indica problemele pe care ar trebui să se concentreze eforturile pentru avansarea matematicii.
- 1901 - Élie Joseph Cartan dezvoltă instrumente derivate externe .
- 1903 - Carle David Tolme Runge prezintă algoritmul Transformării Fourier Rapide .
- 1903 -Edmund Georg Hermann Landau oferă o dovadă foarte simplă a teoremei numărului principal.
- 1905 - Albert Einstein cu articolul Zur elektrodinamik bewegter körper marchează nașterea relativității speciale.
- 1906 - Axel Thue scrie Über unendlische Zeichenreihen (Skifterutgit Videnskapsselkapet i Kristiania, I pp. 1–22)
- 1908 - Ernst Zermelo axiomatizează teoria mulțimilor și evidențiază contradicțiile „ teoriei naive a mulțimilor ” a lui Georg Cantor .
- 1908 - Josip Plemelj rezolvă problema Riemman a existenței unei ecuații diferențiale cu un grup monodromic dat și dezvoltă formulele Plemelj-Sokhotsky.
- 1910 , 1913 Bertrand Russell și Alfred North Whitehead publică Principia Mathematica .
- 1912 - Luitzen Egbertus Jan Brouwer prezintă teorema punctului fix al lui Brouwer .
- 1912 - Josip Plemelj publică o versiune simplificată a dovezii ultimei teoreme a lui Fermat pentru n = 5,
- 1913 - Vito Volterra : Leçons sur les fonctions de lignes , Paris
- 1913 - Srinivasa Ramanujan transmite o lungă listă de teoreme fără dovezi lui Godfrey Harold Hardy .
- 1914 - Srinivasa Ramanujan publică ecuații modulare și aproximări la π ,
- 1919 - Viggo Brun definește B 2 constantă a lui Brun pentru gemeni perfecți ,
Din 1925 până în 1949
- 1925 - Ronald Fisher : O metodă statistică pentru cercetătorii .
- 1928 - John von Neumann începe să stabilească principiile teoriei jocurilor și dovedește teorema minimax .
- 1930 - Kazimierz Kuratowski cu articolul Sur le problème des courbes gauches en topologie (Fund. Math., 15 pp. 271-283) identifică cele două grafice fundamentale non-planare .
- 1931 - Kurt Gödel demonstrează teorema incompletitudinii care implică faptul că orice sistem axiomatic pentru matematică este fie incomplet, fie contradictoriu.
- 1931 - Georges De Rham dezvoltă teorema cohomologiei și a claselor caracteristice .
- 1933 - Andrei Nikolaevič Kolmogorov pune bazele teoriei difuziunii.
- 1932 - Stefan Banach : Théorie des opérations linéaires care marchează nașterea analizei funcționale .
- 1932 - Oswald Veblen și John Henry Constantine Whitehead publică Fundamente ale geometriei diferențiale .
- 1932 - John von Neumann scrie Mathematische Grundlagen der Quantenmechanik , punând bazele matematice pentru mecanica cuantică .
- 1933 - Karol Borsuk și Stanislaw Ulam prezintă teorema antipodală cunoscută sub numele lor.
- 1933 - Andrej Nikolaevič Kolmogorov publică cartea Grundbegriffe der Wahrscheinlichkeitsrechnung pe fundamentele teoriei probabilității , care prezintă o axiomatizare a probabilității bazată pe teoria măsurii .
- 1935 - Hassler Whitney scrie Despre proprietățile abstracte ale dependenței liniare (Amer. J. Math., 57 pp. 509-533), (contribuind la nașterea teoriei matroidelor ).
- 1936 - Alan Turing publică On Computable Numbers, cu o aplicație la Entscheidungsproblem (Proc. London Math. Soc., 42 pp. 230-265) în care introduce noțiunile de număr calculabil și mașina Turing (articol accesibil și online ).
- 1939 - Lev Semenovich Pontryagin scrie grupuri topologice .
- 1939 - 1969 - Nicolas Bourbaki continuă cu redactarea Éléments de Mathématique , editată de Hermann. Între 1982 și 1998 vor fi reeditate de Masson și apoi de Dunod; versiunea în limba engleză este editată de Springer.
- 1940 - Kurt Gödel demonstrează că nici ipoteza continuumului, nici axioma alegerii nu pot fi infirmate din axiomele standard ale teoriei mulțimilor .
- 1942 - GC Danielson și Cornelius Lanczos dezvoltă algoritmul Transformării rapide Fourier.
- 1943 - Kenneth Levenberg propune o metodă pentru adăugarea celor mai mici pătrate într-un mod neliniar.
- 1944 - John von Neumann și Oskar Morgenstern publică Teoria jocurilor și comportamentul economic , marcând nașterea teoriei jocurilor .
- 1947 - William Thomas Tutti scrie O factorizare a graficelor liniare (J. London Math. Soc., 22 pp. 107-111), una dintre lucrările seminale pentru teoria graficelor .
- 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 .
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 Constantine 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 , con la collaborazione di Mary Tsingou, studiano numericamente un modello non lineare della conduzione di calore in un insieme di molle e il verificarsi di onde solitoniche .
- 1955 - Alexander Grothendieck : Produits tensorielles topologiques et espaces nucléaires
- 1956 - Noam Chomsky : 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 - Alexander Grothendieck : Sur quelques points d'algèbre homologique (Tohoku Math. J., 9 no. 2 pp. 119 – 183, 9 no. 3 pp. 185 – 221).
- 1960 - Alexander Grothendieck : Elements de geometrie algebrique (Publ. math. IHES n.4), opera che con la precedente avvia una rifondazione della geometria algebrica .
- 1960 - Tony 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 - Giancarlo Rota : The theory of Möbius inversion ( Wahrscheinleitskeittheorie ), primo lavoro di Rota sui fondamenti della moderna combinatoria .
- 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 - EJ 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 M. Singer dimostrano il teorema dell'indice di Atiyah-Singer 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).
Dal 1975 al 1999
- 1975 - Benoît Mandelbrot pubblica Les objets fractals: forme, 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 (WH 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 H. 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 dellacongettura Taniyama-Shimura e successivamente dimostra l' ultimo teorema di Fermat .
- 1996 Marko Petkovsek , Herbert S. Wilf e Doron Zeilberger scrivono A=B (AK Peters), trattazione delle procedure che consentono una elaborazione sistematica delle identità ipergeometriche .
- 1998 - Thomas Hales (quasi certamente) dimostra la congettura di Keplero ,
- 1999 - Tutta lacongettura Taniyama-Shimura viene dimostrata.
Dopo il 2000
- 2000 - Il Clay Mathematics Institute enuncia sette problemi proposti come i più importanti della matematica classica per il III 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.
- 2005 - Grigorij Jakovlevič Perel'man dimostra la Congettura di Poincaré
Voci correlate
Collegamenti esterni
- ( EN ) Index for the Chronology in MacTutor