...which is the same thing as Rice's theorem, and many other mind-bending result...

		bubblyworld 7 months ago \| parent \| context \| favorite \| on: What does “Undecidable” mean, anyway ...which is the same thing as Rice's theorem, and many other mind-bending results. It's all diagonalization under the hood =)