05/29/2021

Leibniz’s 17th-century breakthroughs led to an 18th-century golden age of symbol pushing, which led to a 19th-century backlash obsessed with axiomatization and rigor, which led to 20th-century work on formal systems and computability, which led to the 21st-century laptop…

— Ben Orlin, Change Is the Only Constant