Undecidability, Uncomputability, and Unpredictability - Aguirre, Anthony (Springer, 2021)