イギリス人の数学者ったらアラン・チューリング