computability theory notes 9817810