Chapter
Reflections on the Difficulty of Proving Correctness
3:25:22 - 3:31:37 (06:15)
The speaker reflects on the challenge of proving correctness in the field of computer science and the frustration that can arise when building things that may not receive recognition until after one's death.
Clips
The challenge with proving the correctness of a program is that it requires representing the program in another language, which may not necessarily be correct, making it a complicated process in the story of computational language and technology.
3:25:22 - 3:29:15 (03:53)
Programming
Summary
The challenge with proving the correctness of a program is that it requires representing the program in another language, which may not necessarily be correct, making it a complicated process in the story of computational language and technology.
ChapterReflections on the Difficulty of Proving Correctness
Episode#234 – Stephen Wolfram: Complexity and the Fabric of Reality
PodcastLex Fridman Podcast
The speaker talks about the idea of a computational paradigm to model complex systems which has been a recent shift from the traditional mathematical equations that have been used for the past 300 years.
3:29:15 - 3:31:37 (02:21)
Science
Summary
The speaker talks about the idea of a computational paradigm to model complex systems which has been a recent shift from the traditional mathematical equations that have been used for the past 300 years.