阿兰图灵:9+15什么时候等于1?