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 everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sun Nov 23 2008 - 06:39:06 PST