Undecidability, Uncomputability, and Unpredictability - Aguirre, Anthony; Merali, Zeeya; Sloan, David (Springer, 2021)