ITEC 420 - Section 5.1 - Reducibility and More Undecidable Problems



Main Ideas in Section 5.1



Reducibility and Proving Decidability



HALTTM is Undecidable



Proving Undecidablity by Reduction



More Decidability Results



Reducibility