ActInf MathStream 009.1 ~ Jonathan Gorard: A computational perspective on observation and cognition
Channel: Active Inference Institute
Date: 2024-03-06

Jonathan Gorard
“A computational perspective on observation and cognition”

It has become increasingly clear that a fully computational description of reality must somehow account for the relative computational sophistication of observers (including their processes of measurement, analysis and cognition) and the natural systems that they observe. An ongoing research program, based upon the mathematical formalism first set out in https://arxiv.org/abs/2301.04690, seeks to use methods from category theory and topos theory to construct a purely compositional version of traditional computational and algorithmic complexity theory, within which an algebraic description of the tradeoff between observer vs. system complexity may be developed. It is claimed that this formalism has implications for the computational foundations of physics, mathematics, and potentially many other fields.

Active Inference Institute information: 
Website: https://activeinference.org/ 
Twitter: https://twitter.com/InferenceActive 
Discord: https://discord.gg/8VNKNp4jtx 
YouTube: https://www.youtube.com/c/ActiveInference/ 
Active Inference Livestreams: https://coda.io/@active-inference-institute/livestreams