Robert Rosen's approach of grounding formalization in science in the ultimate formalization, math, is as self-similar as thinking about thought.
His use of "category theory" provides a mathematical analogy to analogies.
I must confess that I need a lot of time to understand his writings - I keep learning new things every time I read it again.
