Principia Mathematica and Early Formal Proof Efforts

Stephen Wolfram answers questions from his viewers about the history of science and technology as part of an unscripted livestream series, also available on YouTube here: https://wolfr.am/youtube-sw-qa

Topics: Computation in antiquity to early machines - Computation and physical reality - Historical attitudes toward computing and AI - Cantor, continuum and computability - Automata in history & fiction - How scientists are remembered - Exploring science's landmarks