This is known as the Halting problem. https://en.wikipedia.org/wiki/Halting_problem …https://twitter.com/gnomon/status/671375298068398080 …
@bara @SwiftOnSecurity "That don't analyze themselves" is equivalent to "that don't implement Turing-equivalent computing models".
-
-
@bara@SwiftOnSecurity There are huge classes of programs for which halting is obvious, tho. The misstatement brushes aside that fact.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.