Re: QTI & euthanasia (brouillon)

From: John Mikes <jamikes.domain.name.hidden>
Date: Sun, 23 Nov 2008 11:46:39 -0500

And how much is that "2 kg" in that 'other' universe?
JM

On 11/23/08, Bruno Marchal <marchal.domain.name.hidden> wrote:
>
> 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 - 11:46:54 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:15 PST