This is known as the Halting problem. https://en.wikipedia.org/wiki/Halting_problem …https://twitter.com/gnomon/status/671375298068398080 …
@SwiftOnSecurity It's something of a misstatement of the halting problem to make it sound more profound than it is. ;-)
-
-
.
@RichFelker@SwiftOnSecurity Any proofs that the halting problem can't be solved if we restrict it to algos that don't analyze themselves? -
@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.
End of conversation
New conversation -
-
-
@RichFelker it was something of a misstatement of the halting problem to inspire those not already familiar with it to look it up!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.