格罗莫夫教授的思路是这样的。
把那十一万条恒等式，重新看成一套改写规则：每一种变换都是把一个式子改写成另一个式子的一步。
这样问题就变成了这套规则会不会自相矛盾？
而一套规则自不...
温馨提示：方向键左右(← →)前后翻页，上下(↑ ↓)上下滚用， 回车键:返回列表