A Conversation Between Jonathan Gorard and Stephen Wolfram (September 1, 2023)

Jonathan Gorard joins Stephen Wolfram to discuss ongoing science research. They explore the concept of rulial relativity, the distinction between normalizing and strongly normalizing systems in term rewriting, decidability and primitive recursive functions, non-terminating rewriting sequences, evolutionary perception and course screening, regular patterns and proof theory, observers in computation, randomness and complexity, primitive recursive functions and limited number systems, linear logic and sub-integer set theory, state and event canonicalization in multi-way systems, gravitational radiation and bronchial space, defining fluid velocities, and functoriality with a geometrical interpretation.