https://1library.org/document/z12op7dy-computability-noncomputability-undecidability-maximal-intervals-ivps.html