Could be the next step in formalizing/constructing some kind of theory machine.
What is meant by these terms?
"Second-Order" inherits from second-order cybernetics, which, to my understanding, can more or less be summarized as such: If first-order cybernetics involves an observer of a world...