有没有可能对于数学体系进行进行程序化编程建模

王后雄系列,五年高考三年模拟,xxx。。。 不都是在做这种总结的事情么
■网友
题主是否知道数学也是有个公理系统的呢?数学公理的逻辑性严谨性比程序语言高多了好吗。而且题主所说的“数学体系”,更像是解题套路体系,这种无脑流程化的解题工作还是留给机器吧


    推荐阅读