2026 Wolfram Summer Research Institute: Opening Keynote
The Stephen Wolfram Podcast
00:00
Theory of Bugs and Limits of Verification
Wolfram introduces a project on software bugs and explains fundamental limits of verification and specification.
Play episode from 01:12:49
Transcript
