Rice's theorem (extensional properties)

Rice 1953: any non-trivial extensional-property of partial-recursive-functions is undecidable. Generalises halting-problem. Foundational impossibility result.