"I will first present a non constructive argument showing that the mechanist hypothesis in cognitive science gives enough constraints to decide what a "physical reality" can possibly consist in. Then I will explain how computer science, together with logic, makes it possible to extract a constructive version of the argument by interviewing a Modest or Löbian Universal Machine. Reversing von Neumann probabilistic interpretation of quantum logic on those provided by the Löbian Machine gives a testable explanation of how both communicable physical laws and incommunicable physical knowledge, i.e. sensations, arise from number theoretical relations."
Paper explores Marchal's ideas on how our physical laws and understanding of our perception of reality can be derived from his "comp" theory, often discussed with his participation on the Everything List.
The Origin of Physical Laws and Sensations