数学の実績があるといった比較対象はラッセルじゃなくてチューリングとかクワインだな