Halting Problem - Blank Tape Problem - Reducibility - Decidability