History of Science and Technology Q&A (August 21, 2024)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa

Originally livestreamed at:   / stephen_wolfram  

If you missed the original livestream of this episode, feel free to submit a question you would like Stephen to answer in a future Q&A livestream here: https://wolfr.am/12cczmv5J

00:00 Start stream
2:17 SW starts talking
2:28 Recent thoughts on history
11:33 Was SMP or Mathematica inspired by LISP and what are the pros and cons of LISP-like languages?
27:34 Was the decision to have Mathematica untyped unlike something like Lean (proof checker) a good decision for usability or would you do it differently today?
52:05 Type-checking always felt like dimensional analysis.
1:06:50 Was your idea to use "transformations on symbolic expressions" a sudden insight after reading, say, Schönfinkel on combinators, or did it follow from working out atoms of computation, something else?
1:11:26 What is the history of lazy evaluation?
1:20:37 Have you come up with any new theories of human reasoning from working on Mathematica and computation?
1:24:57 End Stream

Follow us on our official social media channels.

X:   / wolframresearch  
Facebook:   / wolframresearch  
Instagram:   / wolframresearch  
LinkedIn:   / wolfram-research  
Stephen Wolfram's Twitter:   / stephen_wolfram  

Contribute to the official Wolfram Community: https://community.wolfram.com/
Stay up-to-date on the latest interest at Wolfram Research through our blog: https://blog.wolfram.com/
Follow Stephen Wolfram's life, interests, and what makes him tick on his blog: https://writings.stephenwolfram.com/