Are explanations computers? They often have abstract inputs and abstract outputs for example. Like when using GR to compute the gravitational field given the position of a mass.
A theory is generally just a single state. You may have to look at metatheories hat can generate theories on the fly.
-
-
Can you name a theory that's represented as a state of a state machine? I know theories have variants, but they also have variables - a state in constructor theory can be in an attribute of a variable, but can't contain variables afaik (different in the case of state machines?)
-
A state can be represented by a task that is its own inverse, which has an attribute of a variable as input and output. So it contains a map from an attribute (set of states) to itself, but does this contain any variable (set of disjoint attributes)? Even one the attribute is in?
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.