Jonathan Gorard<br />“A computational perspective on observation and cognition”<br /><br />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 <a href="https://arxiv.org/abs/2301.04690" target="_blank" rel="nofollow">https://arxiv.org/abs/2301.04690</a>, 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.<br /><br />Active Inference Institute information: <br />Website: <a href="https://activeinference.org/" target="_blank" rel="nofollow">https://activeinference.org/</a> <br />Twitter: <a href="https://twitter.com/InferenceActive" target="_blank" rel="nofollow">https://twitter.com/InferenceActive</a> <br />Discord: <a href="https://discord.gg/8VNKNp4jtx" target="_blank" rel="nofollow">https://discord.gg/8VNKNp4jtx</a> <br />YouTube: <a href="https://www.youtube.com/c/ActiveInference/" target="_blank" rel="nofollow">https://www.youtube.com/c/ActiveInference/</a> <br />Active Inference Livestreams: <a href="https://coda.io/@active-inference-institute/livestreams" target="_blank" rel="nofollow">https://coda.io/@active-inference-institute/livestreams</a><br />...<br /><a href="https://www.youtube.com/watch?v=I3rhsT-8isk" target="_blank" rel="nofollow">https://www.youtube.com/watch?v=I3rhsT-8isk</a>