2014-10-01 9:09 GMT+02:00 Telmo Menezes <[email protected]>: > > > On 30 Sep 2014, at 19:32, John Clark <[email protected]> wrote: > > > > On Sun, Sep 28, 2014 at 1:04 PM, Bruno Marchal <[email protected]> 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? >
He uses anyway a bad example, NP-hard problem are computable... they just take exponential time to solve. We were talking about non-computable problems, and nature could use unknown non-computable things for consciousness that would render computationalism false. Quentin > > 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 [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. > > -- > 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. > -- All those moments will be lost in time, like tears in rain. (Roy Batty/Rutger Hauer) -- 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.
