Maths›03. Logic and Foundations11.5 Undecidability ResultsExtensions of undecidability using reductions and general results such as Rice’s theorem.