With a definition of effective calculation came the first proofs that there are problems in mathematics that cannot be effectively decided.
Із появою визначення ефективності обчислення з'явилися перші докази того, що в математиці є задачі, які не можливо ефективно вирішити.