We’d want to know what proportion of ten-state two-symbol machines with blank tapes turned out to be gods.
Do we? I would think we would want to know what proportion of universes are created by ten-state two-symbol machines that are gods as opposed to ten-state two-symbol machines that are not gods.
Do we? I would think we would want to know what proportion of universes are created by ten-state two-symbol machines that are gods as opposed to ten-state two-symbol machines that are not gods.
That was implied by “proportion”.