Source: https://math.arizona.edu/~jeremybooher/expos/computability_promys.pdf