A Computability Perspective on (Verified) Machine Learning - Tonicha Crook (Springer Nature Switzerland, 2023)