He showed that there is no general algorithm that can determine whether any given Diophantine equation has integer solutions—that Hilbert’s 10th is an undecidable problem. You might be able to ...