ところで、現在活躍中の数学者で「直観主義の立場」をとる人の例示はまだですか。