This is known as the Halting problem. https://en.wikipedia.org/wiki/Halting_problem …https://twitter.com/gnomon/status/671375298068398080 …
-
-
Replying to @SwiftOnSecurity
@SwiftOnSecurity It's something of a misstatement of the halting problem to make it sound more profound than it is. ;-)2 replies 0 retweets 0 likes -
Replying to @RichFelker
.
@RichFelker@SwiftOnSecurity Any proofs that the halting problem can't be solved if we restrict it to algos that don't analyze themselves?1 reply 0 retweets 1 like -
Replying to @bara
@bara@SwiftOnSecurity "That don't analyze themselves" is equivalent to "that don't implement Turing-equivalent computing models".1 reply 0 retweets 0 likes
@bara @SwiftOnSecurity There are huge classes of programs for which halting is obvious, tho. The misstatement brushes aside that fact.
11:29 AM - 30 Nov 2015
0 replies
0 retweets
0 likes
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.