In 1970, Yuri Matiyasevich proved that no such algorithm exists . This is a profound result in computer science and logic, showing that some math problems are literally "undecidable." 5. Practical Applications