The Last 100 Years Of Math

At the turn of the 20th century, Hilbert proposes a bunch of unsolved problems in math.

Standing on the shoulders of giants like Frege, Whitehead & Russell write Principia Mathematica (named after Newton’s Principia), seeking to create a cathedral of logic. Godel proves you can’t do it.

As a result of Godel’s anti-thesis to the Princiipia Mathematica, Turing and Church create the Church-Turing Thesis as a result of Godel’s discoveries. Chomsky, Von Neuemann, Minksy, Kolmogorov and Shannon ensue to create software development languages.