Player FM uygulamasıyla çevrimdışı Player FM !
History of Science & Technology Q&A (July 24, 2024)
Manage episode 438956899 series 1692780
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
Questions include: What was more important to ancient civilizations, philosophy or science? - 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? - Can you tell us about the history of the Wolfram Summer School? How did it start? - What is the history of formal verification in computer security? Particularly, how is it related to automated theorem proving and symbolic computation? Do people use Wolfram Language for formal verification? - Would you consider using one AI to formally verify software now? - What are some examples of scientific/technological "dead ends" other than alchemy (although I suppose we did learn things by accident with that one)? - What about Pythagoras? Philosophy or science? - Do we have enough information to answer this question (philosophy vs. science) for ancient South and Middle American civilizations?
414 bölüm
Manage episode 438956899 series 1692780
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
Questions include: What was more important to ancient civilizations, philosophy or science? - 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? - Can you tell us about the history of the Wolfram Summer School? How did it start? - What is the history of formal verification in computer security? Particularly, how is it related to automated theorem proving and symbolic computation? Do people use Wolfram Language for formal verification? - Would you consider using one AI to formally verify software now? - What are some examples of scientific/technological "dead ends" other than alchemy (although I suppose we did learn things by accident with that one)? - What about Pythagoras? Philosophy or science? - Do we have enough information to answer this question (philosophy vs. science) for ancient South and Middle American civilizations?
414 bölüm
Tüm bölümler
×Player FM'e Hoş Geldiniz!
Player FM şu anda sizin için internetteki yüksek kalitedeki podcast'leri arıyor. En iyi podcast uygulaması ve Android, iPhone ve internet üzerinde çalışıyor. Aboneliklerinizi cihazlar arasında eş zamanlamak için üye olun.