On 26 Sep 2014, at 19:06, John Clark wrote:
On Fri, Sep 26, 2014 at 11:29 AM, Bruno Marchal <[email protected]>
wrote:
> Computationalism involves the notion of computation
Obviously, otherwise it would be a very misleading name.
Then don't equate computationalism and materialism. The second term
does not refer to computations, or Church thesis, etc.
> It has nothing to do with any notion of matter whatsoever.
Computationalism is the theory that the human brain is a computer, a
type information processing machine, and it postulates that thinking
is a form of computing. But you can't have a brain or a computer or
a machine of any sort without matter.
Computer have been discovered in arithmetic. Gödel was close in his
1931 paper, but missed it, but then it is clear in Post, Church,
Turing paper. Turing made his machine looking more "physical" but it
is still a purely mathematical objects, and computations are too. The
arithmetical reality contains all computers and all computations,
which can be seen as faithfully represented by particular number
relations, what the computer is used to defined some type of
computation. You don't need the notion of matter in computer science,
unless you are interested in the implementation of computer in some
physical reality. Then you need some physics to define what this
means. But this does not mean that physics is primary.
Bruno
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.
