在解决数学逻辑学这个神秘领域内的一个问题时，他想像出了一台能够模仿人类思考的机器。听起来很耳熟是吗？如果阿兰·特云所做的一切否定了数学逻辑学这个神秘王国里的一个难题，那么则没有任何非专家人物有理由记住...