Back to the program.
The Mechanist Formulation of the Mind Body Problem
Bruno Marchal
IRIDIA ULB
marchal@ulb.ac.be

Abstract

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.

Keywords

First Person Indeterminacy, Universal Dovetailer, Mind Body problem, Church's Thesis, Universal Machine, Provability

References

  1. 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