>>448
まあそうでしょう
数学者が理解できないものが形式化できるとは思えない

どこがギャップか明確化できる点では意義があるけど
ギャップを埋められるとは最初から思ってなかった

MSは形式化が自分に追いついてないとか
自分勝手に解釈するんだろうけどね