Chapter 5: Higher-Order Procedures

Implications of the Existence of halts?

If halts? were to exist, then it could be used to solve problems that mathematicians have not been able to solve. For example:

Q: Are there any odd perfect numbers?