Archived tweet #6833 from the @leastfixedpoint Twitter Archive

Your Periodic Reminder that Rice's Theorem is awesome, and the proof-by-reduction-to-the-Halting-Problem is neat. en.wikipedia.org/wiki/Rice%27s_…