まぁ科学のためにあるわけではないけどね
正直証明しないんだったら物理だけでいいんだけどね
ちなみにウィッテンは物理を数学の証明の論法としたいと言ってる
しかしウィッテンにしても結局「みえる」数学にしか興味ないんだろう
ここが望月さんみたいな「ガチ」の数学者との違いだろう