On 20 Nov 2008, at 19:08, m.a. wrote: > > > Bruno Marchal wrote: >> >> Let us go back to the point. The point of MGA is to show that MEC + >> MAT implies a contradiction. You can see that it is equivalent with >> - the proposition saying that MEC implies NON MAT (mechanism >> refutes materialism). >> - the proposition saying that MAT implies NON MECH (materialism >> refutes mechanism) >> >> Now, MECH implies " NON MAT" can be made constructive. This means >> MECH provides the complete constraints of how a physical laws looks >> like and come from, meaning physics is a branch of computationalist >> theory of mind (itself a branch of number theory, in a slightest >> more general sense of "number"). >> >> Now, imagine that luckily we arrive at a proof that the >> "arithmetical" electron weights two kg. Then we will know that >> mechanism is false. > > But only in our universe, right. In some other universe couldn't > electrons actually weigh 2kg?

Not really. If we prove that electrons (assuming we can defined them in the physics extracted from comp) weigh 2 kg, then they have 2 kg in all possible universes. If there is an 1,9 kg electron in some universe, that could be used as a counter-example showing that the proof was not valid, or that comp is false. Bruno http://iridia.ulb.ac.be/~marchal/ --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [EMAIL PROTECTED] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---