Abstract: 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.
![[SANE 2004 Slide]](t_SANE2004Slide.png)