https://skibinsky.com/godel-turing-and-cantor-the-math/