A Conversation Between Jonathan Gorard and Stephen Wolfram (September 1, 2023)
The Stephen Wolfram Podcast
00:00
Non-Terminating Rewriting Sequences and Arbitrary Computation
The chapter explores the concept of non-terminating rewriting sequences and arbitrary computation in a decidable but not primitive recursive context. The speakers debate the potential of the s combinator for arbitrary computation and discuss the relationship between non-terminating behavior and universal computation.
Transcript
Play full episode
