Is the Mind-Body Problem Algorithmically Solvable Under A Computational Formalization
This note isolates a formal core of the Mind-Body Problem, model it in the language of computability theory, and shows that under this formalization, the associated decision problem is (Turing) algorithmically unsolvable.
Cristian S. Calude
· 0 citations