ゲーデル、チューリング、チャイティンこれらの数学者に対する評判はどうなんでしょう?