On 2004-04-16 at 15:00:00 (Brussels Time) |
Abstract
I first sum up a non constructive argument showing that the mechanist hypothesis in the cognitive science gives enough constraints to decide what a "physical reality" can possibly consist in. Then I explain how computer science together with logic make it possible to extract a constructive version of the argument by interviewing a Modest (Loebian) Universal Machine. Reversing von Neumann probabilistic interpretation of quantum logic on those provided by the Loebian Machine gives a kind of explanation of how both sharable physical laws and un-sharable physical knowledge arise from number theoretical relations.
Keywords
physics, reality, Loeb, computer, knowledge, quanta