「みえる」数学=超弦
「みえない」数学=IU幾何

ちなみにウィッテンは数学の定理を使うとき
証明はざっとしか読まないらしい(つまり完全な応用なのさ