Editing Talk:1266: Halting Problem
Please sign your posts with ~~~~ |
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 9: | Line 9: | ||
:No, it's not. A very practical purpose would be "have my OS kill processes that won't stop". Other one would be "reject installing apps that contain algorithms that don't halt". If the OS assumes "every app will eventually halt" it would kill every process and reject every app. [[User:Osias|Osias]] ([[User talk:Osias|talk]]) 12:15, 18 September 2013 (UTC) | :No, it's not. A very practical purpose would be "have my OS kill processes that won't stop". Other one would be "reject installing apps that contain algorithms that don't halt". If the OS assumes "every app will eventually halt" it would kill every process and reject every app. [[User:Osias|Osias]] ([[User talk:Osias|talk]]) 12:15, 18 September 2013 (UTC) | ||
::Changing the paragraph to say "a physical perspective" instead of "all practical purposes" was a good solution. [[User:Osias|Osias]] ([[User talk:Osias|talk]]) 14:16, 18 September 2013 (UTC) | ::Changing the paragraph to say "a physical perspective" instead of "all practical purposes" was a good solution. [[User:Osias|Osias]] ([[User talk:Osias|talk]]) 14:16, 18 September 2013 (UTC) | ||
β | |||
β | |||
Google "halting problem" and do a little reeding so you are in the same mindset as Randall. This is a famous computer science problem. You aren't talking about the same thing in comments above. ''— [[User:Tbc|tbc]] ([[User talk:Tbc|talk]]) 12:30, 18 September 2013 (UTC)'' | Google "halting problem" and do a little reeding so you are in the same mindset as Randall. This is a famous computer science problem. You aren't talking about the same thing in comments above. ''— [[User:Tbc|tbc]] ([[User talk:Tbc|talk]]) 12:30, 18 September 2013 (UTC)'' |