On 01 Oct 2014, at 09:09, Telmo Menezes wrote:
On 30 Sep 2014, at 19:32, John Clark <johnkcl...@gmail.com> wrote:
On Sun, Sep 28, 2014 at 1:04 PM, Bruno Marchal <marc...@ulb.ac.be>
wrote:
>> 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.
So over the last few decades was it a big waste of time and money
to spend trillions of dollars and millions of man-hours to make
computers out of matter? I don't think so. Maybe computers really
do exist in some sort of ethereal Platonic abstract plane, maybe
they're real but apparently they're not quite real enough to get
the job done here on planet Earth.
> 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.
As I've said no natural phenomenon has ever been found where nature
must solve a NP-hard problem to figure out what to do next,
Protein folding?
This would mean that we can reduce the protein folding problem to the
traveling salesman problem, and that makes sense, as we can reduce
protein folding to minimization of energy is the space of the protein
configuration, and this does not seem to be a long way from the
salesman problem; but I heard that idea for the first time. But I have
stopped to follow that folding problem since some time. Is it your
idea/feeling or have you heard about the existence of such a
reduction. Maybe it is trivial? I have no idea.
Bruno
if the so called real numbers are really real I find it difficult
to understand why that is the case.
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-
l...@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
--
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.