25 events with tag "foundations"
1734
ID: 502
George Berkeley publishes The Analyst criticizing calculus: 'ghosts of departed quantities'
ID: 502
1777
ID: 441
Lambert's 'Neues Organon' published posthumously, advancing symbolic logic and anticipating Boolean algebra
ID: 441
1797
ID: 663
Lazare Carnot attempts rigorous foundations for calculus - develops compensation of errors theory
ID: 663
1808
ID: 693
Ernst Zermelo develops axiomatic set theory to resolve Russell's Paradox
ID: 693
1810
ID: 442
Bernard Bolzano develops rigorous proofs and logical foundations, anticipating modern analysis
ID: 442
1815
ID: 714
Cauchy develops systematic theory of limits and continuity - rigorous foundations for calculus
ID: 714
1817
ID: 721
Cauchy begins rigorous reconstruction of calculus - precise definitions address Berkeley's criticisms
ID: 721
1821
ID: 743
Cauchy publishes Cours d'analyse - rigorous epsilon-delta definitions finally answer Berkeley's objections
ID: 743
1847
ID: 448
Johann Benedict Listing coins the term 'topology' in his 'Vorstudien zur Topologie'
ID: 448
1854
ID: 899
Riemann lectures On Hypotheses Which Lie at Foundations of Geometry - challenges space assumptions
ID: 899
1874
ID: 998
Georg Cantor begins development of set theory and theory of infinite sets
ID: 998
1903
ID: 387
Frege publishes Volume 2 of 'Grundgesetze' with an appendix acknowledging Russell's paradox and attempting a fix
ID: 387
1903
ID: 388
Russell publishes 'The Principles of Mathematics', outlining the logicist program despite the paradox
ID: 388
1903
ID: 1154
Bertrand Russell discovers Russell's Paradox exposing crisis in mathematical foundations
ID: 1154
1904
ID: 391
Hilbert presents his 23 problems at International Congress, including consistency of arithmetic (Problem 2)
ID: 391
1907
ID: 4605
L.E.J. Brouwer founds intuitionism - mathematics as mental construction, rejects law of excluded middle
ID: 4605
1908
ID: 389
Russell publishes 'Mathematical Logic as Based on the Theory of Types', introducing type theory to avoid paradoxes
ID: 389
1908
ID: 1176
Ernst Zermelo develops axiomatic set theory to resolve Russell's Paradox - Provides rigorous logical foundation for mathematical reasoning
ID: 1176
1931
ID: 4485
von Neumann provides rigorous mathematical foundations for quantum mechanics
ID: 4485
1934
ID: 400
Haskell Curry develops combinatory logic, providing alternative foundation to lambda calculus
ID: 400
1936
ID: 4582
Alonzo Church develops lambda calculus - foundation for functional programming
ID: 4582
1939
ID: 1483
Nicolas Bourbaki begins systematic reconstruction of mathematics
ID: 1483
1940
ID: 1497
André Weil develops systematic foundations of algebraic geometry
ID: 1497
1945
ID: 4572
Samuel Eilenberg and Saunders Mac Lane introduce category theory - new foundation for mathematics
ID: 4572
2013
ID: 4530
Homotopy Type Theory and Univalence Axiom - equality of types IS equivalence, solving 40-year problem
ID: 4530