Se usa la palabra ""tesis"" en lugar de ""teorema"" ya que el concepto de ser computable es algo informal, sin embargo que el concepto de máquina de Turing es formal y preciso.