[yters]

Comp sci is a good upper bound on materialism, and provides a rigorous basis for distinguishing material and immaterial substances. E.g. if we detect a halting oracle we can conclude it is immaterial, insofar as materialism is bounded by that which is computable.

In that sense it is a way to scientifically address the philosophical concept of substance dualism, without getting lost in a bunch of speculative arguments. Also is a good avenue for making substance dualism a technologically useful theory.