标签：罗素悖论单选题年，英国图灵提出了一种理想的计算机器的数学模型，被称为()