Extending the lambda calculus to express randomized and quantumized algorithms
An Unsolvable Problem of Elementary Number Theory