一、单项选择题答案及解析

1、②

阿兰·图灵（Alan Turing）是计算机科学和人工智能的奠基人之一。他提出的“图灵机”模型是一种抽象的计算模型，从数学上定义了“可计算”的概念，为现代计算机的逻辑设计和工作方式提供了理论基础。