On 24 Sep 2014, at 19:55, John Clark wrote:
On Wed, Sep 24, 2014 at 1:42 PM, Quentin Anciaux
<allco...@gmail.com> 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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.