computability lecture class 24 9370635