Fermat's Last Theorem Proven
Andrew Wiles completes proof of Fermat's Last Theorem after 358 years, solving one of mathematics' greatest puzzles
Timeline
Turing's Computability Paper Published
Alan Turing introduces the concept of a universal machine in 'On Computable Numbers', laying foundations for computer science
Gödel's Incompleteness Theorems
Kurt Gödel demonstrates fundamental limitations of formal mathematical systems through his incompleteness theorems
Boolean Algebra Published
George Boole establishes Boolean algebra in 'The Laws of Thought', creating the foundation for digital circuit design
Ada Lovelace's Analytical Engine Notes
Augusta Ada King publishes the first computer algorithm for Charles Babbage's Analytical Engine, becoming the world's first computer programmer
Non-Euclidean Geometry Developed
Nikolai Lobachevsky and János Bolyai independently discover hyperbolic geometry, challenging Euclidean axioms
Euler's Identity Published
Leonhard Euler formulates e^(iπ) + 1 = 0, considered the most beautiful equation in mathematics
Leibniz and Newton Publish Calculus Foundations
Gottfried Wilhelm Leibniz and Isaac Newton independently develop calculus, leading to a historic priority dispute
Leibniz Develops Calculus Notation
Gottfried Wilhelm Leibniz introduces ∫ and d notations for integral and differential calculus
Sir Isaac Newton was born
Birth of Sir Isaac Newton, mathematician and physicist who formulated the laws of motion and universal gravitation
Invention of Logarithms
John Napier publishes 'Mirifici Logarithmorum Canonis Descriptio', revolutionizing mathematical calculations
Concept of Zero Formalized
Indian mathematicians develop the modern concept of zero as both a placeholder and numerical value
Pythagorean Theorem Established
Ancient Babylonian and Greek mathematicians formalize the relationship in right-angled triangles: a² + b² = c²
Euclid's Elements Published
Euclid compiles 'Elements', establishing the foundation of mathematics and geometry for over 2000 years