グロタンディークって一般的知名度はすごぶる低いよね。
アインシュタインなら誰でも知ってるし、もうちょっと
落ちる物理学者だってかなりの人が知ってるというのに。

ゲーデルが一番有名か？