反对计算作为理论