Category
Level
Computability theory studies the boundary between what can and cannot be computed by any algorithm.