Skip to content

Commit 7112868

Browse files
authored
Update 2024-01-02-science.md
1 parent c8fd450 commit 7112868

1 file changed

Lines changed: 14 additions & 0 deletions

File tree

_posts/2024-01-02-science.md

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,19 @@
11
### Mathematics
22
- **[Math](https://github.com/streamcode9/os/blob/main/math.md)**
3+
- c. 300 BCE – Euclid writes Elements, a foundational text in geometry and logical deduction.
4+
- c. 250 BCE – Archimedes works on calculus-like methods and hydrostatics.
5+
- c. 200 BCE – Apollonius develops conic sections.
6+
- 628 CE – Brahmagupta defines zero as a number and describes rules for arithmetic operations.
7+
- 1545 – Gerolamo Cardano publishes Ars Magna, solving cubic and quartic equations.
8+
- 1614 – John Napier publishes the first tables of logarithms.
9+
- 1637 – René Descartes introduces analytic geometry in La Géométrie.
10+
- 1665–1666 – Isaac Newton develops calculus and laws of motion.
11+
- 1684 – Leibniz publishes his version of calculus independently of Newton.
12+
- 1736 – Leonhard Euler founds graph theory with the Seven Bridges of Königsberg problem.
13+
- 1821 – Augustin-Louis Cauchy formalizes analysis, introduces rigorous definitions of limits and continuity.
14+
- 1854 – George Boole publishes An Investigation of the Laws of Thought, founding Boolean algebra.
15+
- 1874 – Georg Cantor founds set theory with his proof that real numbers are uncountable.
16+
- 1899 – David Hilbert publishes Foundations of Geometry, formalizing Euclidean geometry.
317
- 1900 – Hilbert's 23 problems presented at the International Congress of Mathematicians.
418
- 1931 – Kurt Gödel proves his incompleteness theorems, showing limits of formal systems.
519
- 1936 – Alan Turing introduces the Turing machine, laying foundations for computer science.

0 commit comments

Comments
 (0)