Among the most important proofs of impossibility of the 20th century, were those related to undecidability, which showed that there are problems that cannot be solved in general by any algorithm at all.
Серед найбільш важливих доказів неможливості у 20-му столітті були задачі алгоритмічної нерозв'язності, які показали, що існують задачі, які неможливо вирішити взагалі за допомогою будь-якого алгоритму.