Le 03-nov.-05, à 17:13, John M a écrit :
> Bruno,
> I love your closing sentence! I am not a physicist.
>
> Why do you think that philosophers don't use some
> anthropocentric mind-work in identifying 'principles'?
They use that indeed. But they use also deeper xxx-thropocentric
principle. To focus only to the human prejudice is a ... human
prejudice. deeper prejudices are the lobian one for example. (I can
prove to you that you are a lobian machine; note that I cannot prove
you are a consistent, still less a sound, lobian machine.
>
> Our Earthenlocked thinking *tool* (we call it usually:
> the brain) works 'humanly' whether in physics or in
> any other mental exercise (philoso[hy included, even
> the (pardon me) logic.
*the* point is that there are many many many many logics. For a
number-platonist, classical logic is the more polite way to talk on all
the other logics.
> We may speculate how to step out (over?) these Earth
> bound limitations, but even then we speculate using
> our brain in the process.
That is why church thesis is great: it makes most fundamental theorem
in computer science independent of the choice of the computer or the
choice of the universal system.
A brain is a (local) device capable of making you understand
propositions independent of the brain. With comp you can bet that *you*
are independent of your brain (like a holliday trip can be independent
of the choice of the car, boot, or plane).
It is a little sad you seem not understanding that by "interviewing the
universal lobian machine" we have a tool for liberating us, not only of
our human prejudices but of our carbon-based origin, and far beyond,
actually.
Bruno
http://iridia.ulb.ac.be/~marchal/
Received on Sat Nov 05 2005 - 08:05:50 PST