Update 2024-01-02-science.md

Author: streamcode9

_posts/2024-01-02-science.md

@@ -1,6 +1,12 @@
 ### Mathematics
 - **[Math](https://github.com/streamcode9/os/blob/main/math.md)**
-  - [MLTT-72](/2025/04/05/mltt-72.html)
+- 1900 – Hilbert's 23 problems presented at the International Congress of Mathematicians.
+- 1931 – Kurt Gödel proves his incompleteness theorems, showing limits of formal systems.
+- 1936 – Alan Turing introduces the Turing machine, laying foundations for computer science.
+- 1945 – Von Neumann architecture for computers proposed.
+- 1963 – Paul Cohen proves the independence of the continuum hypothesis using forcing.
+- 1972 – Per Martin-Löf introduces [Martin-Löf Type Theory](/2025/04/05/mltt-72.html), foundational for constructive mathematics and computer science.
+- 1994 – Andrew Wiles proves Fermat’s Last Theorem, solving a 350-year-old problem.
 - **[Astro Math](http://www.danfleisch.com/sgmoa/)** (Mathematics applied to celestial phenomena)
 
 ### Physics