Difference between revisions of "Talk:1163: Debugger"
| Line 1: | Line 1: | ||
Isn't this also a reference to the [http://en.wikipedia.org/wiki/Halting_problem halting problem]? [[User:DonGoat|DonGoat]] ([[User talk:DonGoat|talk]]) 08:33, 21 January 2013 (UTC) | Isn't this also a reference to the [http://en.wikipedia.org/wiki/Halting_problem halting problem]? [[User:DonGoat|DonGoat]] ([[User talk:DonGoat|talk]]) 08:33, 21 January 2013 (UTC) | ||
| + | |||
| + | :It may be, but it isn't an INSTANCE of halting problem. You can understand how something work without being able to predict what exactly it will do. The problem may be also related to the [http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Gödel's incompleteness theorems], which basically states that any nontrivial theory cannot be proven consistent and complete in itself. -- [[User:Hkmaly|Hkmaly]] ([[User talk:Hkmaly|talk]]) 09:15, 21 January 2013 (UTC) | ||
Revision as of 09:15, 21 January 2013
Isn't this also a reference to the halting problem? DonGoat (talk) 08:33, 21 January 2013 (UTC)
- It may be, but it isn't an INSTANCE of halting problem. You can understand how something work without being able to predict what exactly it will do. The problem may be also related to the Gödel's incompleteness theorems, which basically states that any nontrivial theory cannot be proven consistent and complete in itself. -- Hkmaly (talk) 09:15, 21 January 2013 (UTC)
