Discussion about this post

User's avatar
SullivanSt's avatar

Well, yes, if Rand Paul was immortal. But he isn't. The end.

(I'm quite familiar with the halting problem - for instance, while it means you can't <em>in general</em> prove that an arbitrary program will stop, it doesn't mean there aren't specific programs for which it can be proven)

SullivanSt's avatar

Too bad <a href="http:\/\/www.youtube.com\/watch\?v=V8SEkuCkBcg&amp\;feature=related" target="_blank">Michael Holding</a> is retired.

21 more comments...

No posts

Ready for more?