Difference between revisions of "Talk:1266: Halting Problem"
(Created page with "I wrote an explanation for the body of the comics, but I believe there are aspects of the title I'm still missing, so I left the incomplete tag in place. ~~~~") |
|||
| Line 1: | Line 1: | ||
I wrote an explanation for the body of the comics, but I believe there are aspects of the title I'm still missing, so I left the incomplete tag in place. [[User:Shachar|Shachar]] ([[User talk:Shachar|talk]]) 07:52, 18 September 2013 (UTC) | I wrote an explanation for the body of the comics, but I believe there are aspects of the title I'm still missing, so I left the incomplete tag in place. [[User:Shachar|Shachar]] ([[User talk:Shachar|talk]]) 07:52, 18 September 2013 (UTC) | ||
| + | |||
| + | Isn't google already running applications designed to continue running even if some of nodes they run on have a fatal hardware failure? Also, even if the claim would be true in "practical" sense, it would not solve the problem, because as you said, the stopping would be because of reasons external to the actual program. In other words, program running on turing machine will never stop by hardware failure, because turing machine BY DEFINITION doesn't have any. -- [[User:Hkmaly|Hkmaly]] ([[User talk:Hkmaly|talk]]) 08:57, 18 September 2013 (UTC) | ||
Revision as of 08:57, 18 September 2013
I wrote an explanation for the body of the comics, but I believe there are aspects of the title I'm still missing, so I left the incomplete tag in place. Shachar (talk) 07:52, 18 September 2013 (UTC)
Isn't google already running applications designed to continue running even if some of nodes they run on have a fatal hardware failure? Also, even if the claim would be true in "practical" sense, it would not solve the problem, because as you said, the stopping would be because of reasons external to the actual program. In other words, program running on turing machine will never stop by hardware failure, because turing machine BY DEFINITION doesn't have any. -- Hkmaly (talk) 08:57, 18 September 2013 (UTC)
