text: С самого начала и по сей день продолжаются дебаты: было ли понятие «эффективной вычислимости» (i) «аксиомой или аксиомами» в аксиоматической системе или (ii) просто определением, которое «идентифицировало» два или более предложений или (iii) эмпирическую гипотезу, которую следует проверить на естественных событиях или (iv) или просто предложения ради аргумента (то есть «тезиса»).