AIの基礎を作った天才、「アラン・チューリング」と「ジョン・フォン・ノイマン」とは