But this also reflects that, in general, no such method can exist: some problems are known to be unsolvable by an algorithm, such as Hilbert's tenth problem, which was proved unsolvable in 1970.
Але це також може означати, що, взагалі кажучи, такого методу вирішення не може існувати: адже як відомо, деякі математичні задачі, не можливо розв'язати за допомогою якогось чіткого алгоритму, наприклад, десята задача Гільберта, її нерозв'язність була доведена в 1970 році.