Return to Article Details A consequence of the notional existence of an effectively calculable yet non-recursive function Download Download PDF