On 24 Sep 2014, at 19:55, John Clark wrote:
On Wed, Sep 24, 2014 at 1:42 PM, Quentin Anciaux
<[email protected]> wrote:
> Do you deny some things are not computable ?
As I've already said, Turing proved 85 years ago that some things
are not computable.
> Do you claim that under materialism everything must be and is
computable ?
I claim that everything is NOT computable, and I also claim that
philosophers have not shown a difference between materialism and
computationalism under the most common meaning of those words.
Materialism involves a notion of matter, usually object of physical
theories.
Computationalism involves the notion of computation, which, when
assuming Church Thesis, is a mathematical notion, indeed even
arithmetical. It has nothing to do with any notion of matter whatsoever.
Unfortunately you are stuck at step 3, so we can't help.
Bruno
> if no, then that's all I need to proceed.
Then proceed.
John K Clark
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
