この50年間、数学は何をしてきたんですか?