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 and Von Neuemann ensue to create software development languages.
Oh yeah, and you can do calculus without limits theory now.