ゲルファントってグロタンディークよりは下じゃない?
作用素環はノイマンも発見したし