We explain the basic of the "mind body problem" in the frame of a precise and logically very weak "mechanist" assumption. We show how that assumption makes it possible to translate a part of the mind-body problem into a "body problem" in pure arithmetic. We show that such a formulation provides some non trivial clues on the origin and shapes of the physical laws, and how this makes the mechanist assumption empirically testable, and partially tested.
First Person Indeterminacy, Universal Dovetailer, Mind Body problem, Church's Thesis, Universal Machine, Provability
Bruno Marchal. (2010)
CalculabilitÃ©, Physique et Cognition. Editions U edition. PhD thesis, 1998.
See http://www.amazon.com/Calculabilit%C3%A9-Physique-Cognition-originale-French/dp/6131517681/ref=sr_1_1?s=books & ie=UTF8 & qid=1359043275 & sr=1-1