With a definition of effective calculation came the first proofs that there are problems in mathematics that cannot be effectively decided.
Împreună cu definiția calculului efectiv au venit și primele demonstrații că există probleme în matematică, ce nu pot fi decise⁠(d) în mod eficient.