Hi Malcom!
Actually, this is my exact interest as well! I can't help but think a mathematical model that captures the subjectivity of an observer could be represented with some kind of set theory.
On one hand, you have an observer who is only able to make particular observations of the world, due to the lack of complete knowledge of the entire world. On the other hand, you have the rest of the world, which also includes the observer itself, which is often the case in biology.
I think this "cut" between an observer and the world should have a big impact on the dynamics of both the world and an observer, especially if the observer's dynamics are not fixed in time.
Plus, there's the physical arrangement of these entities in the world. The physical limits of computation put bounds on the actual tasks any entity could possibly take. I think what makes humans so interesting is our ability to extend our computation power beyond the brain, which I personally think why computers and machines are so important to collective human tasks (this is the extended model of cognition in psychology). It makes me think that humans are extremely good at manipulating state spaces to complete computational tasks. There's a lot of fascinating work in psychology about this, so I think, if anything, we should look to the empirical results of human cognition and other biological computation tasks (like chemical networks in metabolism, viral evolution, etc).
There are so many moving parts here, but it is my hope that some mathematical model could formalize these ideas so we get a better picture of the computational landscape we have to work with, then if we're lucky, we could see if it has any explanatory power over real data.
Cheers!
Alysas