tag:blogger.com,1999:blog-6642011.post112893834093776755..comments2023-10-29T10:32:36.914-04:00Comments on Philosophy, et cetera: The Church-Turing ThesisRichard Y Chappellhttp://www.blogger.com/profile/16725218276285291235noreply@blogger.comBlogger10125tag:blogger.com,1999:blog-6642011.post-1129479545526997382005-10-16T12:19:00.000-04:002005-10-16T12:19:00.000-04:00It is hard to call others' claims "outrageous" and...It is hard to call others' claims "outrageous" and "extravagant", I think, when one's own concept of a machine involves a machine that can carry out an infinity of discrete steps as a part of its own "computation". <BR/><BR/>Andrew Hodges, the biographer of Turing and an acknowledged expert, has dismantled Copeland's historical claims about Turing and the Thesis, referring to them as "sensational", and further referring to one of Copeland's ideas for "hypercomputation" as "the most ludicrous proposal ever aired in Scientific American".Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1129387324193127622005-10-15T10:42:00.000-04:002005-10-15T10:42:00.000-04:00If a machine can solve the Halting problem, then i...If a machine can solve the Halting problem, then it really does have the power of an oracle. In regard to mathematical problems, it would be omniscient. ATM's bypass the Halting problem by making halting irrelevant because executing an infinite number of computational steps (and using infinite computational resources) is not a problem for them. While I agree that their existence isn't ruled out by CT, I can't help thinking that ATM's are cheating!<BR/><BR/>I also wonder whether a world which admits these ATM infinite computing bubbles would suffer from new forms of undecidability.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1129351615855973032005-10-15T00:46:00.000-04:002005-10-15T00:46:00.000-04:00> No-one has ever proved hypercomputation impossib...> No-one has ever proved hypercomputation impossible.<BR/><BR/>You would have to ignore at least several currently believed to be fundimental laws of the universe to allow your "ATM". Meaning that there is almost nothing in the universe we are more sure about than that there is no Accelerated Turing Machine even if you can say it has not been "proven". <BR/><BR/>Secondly I propose the machine might, effectively, only be trivially different from a turing machine that existed forever because you are just changing your units of time (or frame of reference). <BR/><BR/>I dont know about the other versions but I am concerned they too will be imposible (or more technically - should rationally be assumed to be imposible) on similar grounds.<BR/><BR/>*waits for his audiences eyes to glaze over*Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1129334685993710912005-10-14T20:04:00.000-04:002005-10-14T20:04:00.000-04:00"If any of the Turing machines in your example can..."<I>If any of the Turing machines in your example cannot be shown to halt in a finite time by a Turing machine algorithm, then they cannot be said to halt by a non-Turing machine either.</I>"<BR/><BR/>What makes you think that? The Halting problem is solvable by hypercomputation. An example of hypercomputation would be Accelerated Turing Machines, which can conduct infinitely many processes in a finite amount of time (because each step takes only half as long as the one before: if the first step takes 1 second, then it will have completed infinitely many steps by the time the 2nd second has passed). While such machines may be physically implausible, they do seem at least logically possible. The extra-strong "Church-Turing thesis" (which, recall, neither Church nor Turing ever asserted) entails the impossibility of all such machines. But such a strong assertion is entirely unwarranted. No-one has ever proved hypercomputation impossible. In particular, Turing most certainly didn't.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1129334326215039932005-10-14T19:58:00.000-04:002005-10-14T19:58:00.000-04:00But surely "systematic" does not merely mean "comp...But surely "systematic" does <I>not</I> merely mean "computable". There are uncomputable response patterns that are nevertheless perfectly systematic, as in the example (Halting responses) I provided in the main post.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1129295665401365262005-10-14T09:14:00.000-04:002005-10-14T09:14:00.000-04:00If systematic response means computable by algorit...If systematic response means computable by algorithm in a finite time, then Turing machines can indeed display any systematic pattern of responses to the environment whatsoever.<BR/><BR/>If any of the Turing machines in your example cannot be shown to halt in a finite time by a Turing machine algorithm, then they cannot be said to halt by a non-Turing machine either.<BR/><BR/>True, we don't know that a non-algorithmic system can be simulated by a TM, but I wouldn't label a non-algorithmic machine as systematic.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1129255091923785342005-10-13T21:58:00.000-04:002005-10-13T21:58:00.000-04:00I thought it was a confessional version of the Tur...I thought it was a confessional version of the Turing test. So far AI always prescribes too many Hail Mary's for some reason.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1129017927860599182005-10-11T04:05:00.000-04:002005-10-11T04:05:00.000-04:00hmm..how would a machine solve the Halting problem...hmm..<BR/>how would a machine solve the Halting problem ?<BR/><BR/>I also think it is a bit trivial to prove a turing machine can't calculate every systematic pattern.<BR/>I am thinking of somthing like - "it can't calcuate its own pattern plus 1" or somthing like that.<BR/><BR/>not sure If I understand the halting problem but it seems to have a bit of that aspect to it anyway.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1128971458649666392005-10-10T15:10:00.000-04:002005-10-10T15:10:00.000-04:00Well, the Halting problem is just the problem of b...Well, the Halting problem is just the problem of being able to state whether the <I>n</I>th Turing machine halts (for some input -- I should have included this in the environment too), for any <I>n</I>. So the pattern I've described <I>just is</I> the solution to the Halting problem.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1128949290182856102005-10-10T09:01:00.000-04:002005-10-10T09:01:00.000-04:00You lost me at "But no computer can display this p...You lost me at "But no computer can display this pattern of responses, or else they could solve the Halting problem". What is it that implies that a computer with such a display capablity could solve the halting problem?Anonymousnoreply@blogger.com