A few years later, Alan Turing and others built on his work, showing that mathematics is riddled with “undecidable” statements — problems that cannot be solved by any computer algorithm. These results ...