Chapter 5: Higher-Order Procedures

Computability

The power of computational processes has led computer scientists to speculate on the following:

Q: Is it possible for any mathematically specified function to be computed by some procedure?