通用图灵机A希尔伯特机B哥德尔机C通用图灵机D通用罗素机3人工智能的研究是增量式的进步。()正确