Concerning my last posts about Constructor Theory and Galileo Galilei's famous thought experiment, I would like to elaborate a bit more on both:
Constructor Theory aims to capture what is fundamentally possible and fundamentally impossible. Since this theory is strictly deterministic, the term "possible" must be redefined as "necessary", means everything that is not impossible will happen at some time somewhere (in a multiverse).
Since Constructor Theory is anxious about the physicality of any information (defined as the ability to perfectly copy a physical state) but also anxious about some abstract meta-laws that are defined for the purpose of "defining" what the physical laws are capable of (possible tasks) or not (impossible tasks), it cannot answer the ontological status of what is called a "Constructor".
It seems to me that such a "Constructor" is merely a thing that has been constructed by the authors of Constructor Theory. Indeed, they write that
"As I shall explain, the idea is that the fundamental questions of physics can all be expressed in terms of those issues, and that the answers do not depend on what the constructor is, so it can be abstracted away, leaving transformations (2) as the basic subject matter of the theory."
This is relieving since otherwise there had to exist all kinds of different meta-laws (constructors) for almost each and every physical situation in addition to the already found usual physical laws (that also cannot answer some fundamental questions unambiguously). Let's take for example Galileo's thought experiment (described one post above by me):
According to Constructor Theory, there is a constructor that at least allowed Galileo to built a counterfactual idea in his mind. This idea was that objects with different weights need different times in a free fall of the same distance to arrive at the bottom of the earth. Now, according to Constructor Theory, there is another constructor that at least allowed the person named Galileo to make a thought experiment (another counterfactual thing!) with two stones, a rope and a rigid bar.
Galileo's result (the output of a computation?) was that both stones MUST fall in free fall with the same acceleration rate. So it seems that a couple of "constructors" indeed can tell us what must happen and what is impossible to happen - without having to do the experiment.
But isn't the talk about various Constructors, even the talk about a set of constructors (that enabled Galileo to come to his final conclusion) being able to be re-defined as a single Constructor that is responsible for Galileo's final conclusion, isn't this talk merely a nice circumlocution for ordinary logic at work (together with some human experience about how nature behaves)? Why does one need additional "Constructors" when one already has Boolean logic - which is equally abstract than a "Constructor" (but cannot be abstracted away)?
And why does it need at all Constructors that can be partitioned and de-partitioned according to a specific situation (for example Galileo's), if the universe (the multiverse) obeys per definition a strictly deterministic evolution - where everything that happens and happened is correlated to a 100% with happened at other times and places? Surely, we "nonetheless" want to "know" what is possible and impossible in such a multiverse, but on the other hand, whatever we are able to know in the future is determined by "constructors / laws of physics".
I suspect that Constructor Theory tries to circumvent another impossibility, namely that it is logically impossible to reconstruct the needed initial conditions for such a strictly deterministic multiverse (universe) as well as to reconstruct all the past interactions that led to our present world - including intelligence and consciousness. Since without these reconstructions the world view of a strict determinism is shaky at least in the sense that there are enough people that do not buy into it, therefore a new meta-theory is needed to blur the remaining non-provability and all the open questions.
Be it constructors or laws of nature, in constructor theory both have no inherent intelligence, no consciousness, they aren't even aware of what is possible and impossible by themselves, aren't even aware of their own meta-physical existence (if they at all do exist in an ontological sense). Same is true for death matter. Nonetheless Constructor Theory aims to gain knowledge about what is possible and what is impossible in principle by crowning death matter and abstract, death principles on a throne.
So, in my opinion, the remarkable thing is that Constructor Theory not only takes knowledge as an effective force in the world, built from dull matter and dull laws of physics / Constructors. It also is eager to "explain" that only dull matter and dull laws of physics can make effective knowledge possible - and that everything that is more intelligent than dull matter (and more intelligent than human beings!) is impossible to have created the whole machinery purposefully.
I really do not want to bash the authors of Constructor Theory, I just want to say that I am not convinced on which logical basis this theory excludes an intelligent "Constructor" (Creator) by implicitly defining it impossible. In my opinion the gap between dull matter and human intelligence is equally large than the gap between human intelligence and something that is in-principle able to find out once and for all times what is possible and what is impossible. This does not mean that the world is lawless at its foundations, to the contrary. It only means that this "something" that should in-principle be able to "find out" once and for all times what is possible and what is impossible (as Constructor Theory would like it to have) can possibly only be that "thing" which created the whole "machinery" purposefully in the first place. due to the lack of an adequate term for this "thing" let's simply name it "God".