The easiest answer is existence is the default. ...So this is the lowest number of bits that you need to encode this. ...Nonexistence might not be a … - Joscha Bach

The last big things that we discovered was the constructivist turn in mathematics... to understand that the parts of mathematics that work are computation. That was a very significant discovery in the first half of the 20th century. ...[I]t hasn't fully permeated philosophy and even physics yet. Physicists checked out the code libraries for mathematics before constructivism became universal. ...Gödel himself ...didn't get it yet. Hilbert could get it. Hilbert saw that [e.g.,] Cantor's set theoretic experiments in mathematics led him to contradictions, and he noticed that with the current semantics we cannot build a computer in mathematics that runs mathematics without crashing, and Gödel... could prove this.

Computational systems are machines that can be described apriori and systematically, and implemented on every substrate that elicits the causal properties that are necessary to capture the respective states and transition functions.

[M]otivation... does not arise from intelligence itself, but from a motivational system underlying all directed behavior. ...[T]here is no reason that could let us take behavioral tendencies such as self-preservation, energy conservation, altruistic behavior for granted—they... have... to be designed [including by evolutionary methods] into the system...