History of Science and Technology Q&A (July 24, 2024)
1,023
Published 2024-07-24
Originally livestreamed at: twitch.tv/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: wolfr.am/12cczmv5J
00:00 Start stream
1:28 SW starts talking
1:45-15:36 What was more important to ancient civilizations - philosophy or science?
15:42-36:41 What have been your observations on the role of history in current science and research? Is it still relevant or are we advancing fast enough to make it irrelevant?
36:46-44:40 Can you tell us about the history of Wolfram Summer School? How did it start?
44:52-1:12:30 What is the history of formal verification in computer security? Especially, how it's related to automated theorem proving and symbolic computation? Do people use Wolfram Language for formal verification?
1:12:40-1:14:20 Would you consider using one AI to formally verify software now?
1:14:40-1:22:24 What are some examples of scientific/technological "dead ends" other than alchemy (although I suppose we did learn things by accident with that one)?
1:22:43-1:23:28 What about Pythagoras? Philosophy or Science?
1:23:30-1:37:38 Do we have enough information to answer this question (Philosophy vs Science) for ancient South and Middle America civilizations?
01:38:17 End Stream
Follow us on our official social media channels.
X: twitter.com/WolframResearch/
Facebook: www.facebook.com/wolframresearch/
Instagram: www.instagram.com/wolframresearch/
LinkedIn: www.linkedin.com/company/wolfram-research/
Stephen Wolfram's Twitter: twitter.com/stephen_wolfram/
Contribute to the official Wolfram Community: community.wolfram.com/
Stay up-to-date on the latest interest at Wolfram Research through our blog: blog.wolfram.com/
Follow Stephen Wolfram's life, interests, and what makes him tick on his blog: writings.stephenwolfram.com/
All Comments (4)
-
Record preservation like quipu could have been re-recorded as the skill was taught. Wearing badges as displayed records is not that far removed from beads in hair or jewelry. The abacus has rows of beads. Walking around the Andes, why lug around clay tablets? Uncountable records have been lost.
-
Thank you Steven.
-
"he [aristotle] assumed you could figure things out by pure thought." - he was the first Redditor? 🤣
