同伦类型论

相关推荐

• 数学史上的哲学绝唱——无穷观与数学基础的争论

  两千多年来,数学家们一直试图从少数公理出发,根据明确给出的演绎规则推导出其他数学定理,从而把整个数学构造成为一个严密的演绎大厦,然后用某种程序和方法彻底解决数学体系的可靠性问题. 19世纪末,集合已成 ...

• 车同轨书同文行同伦的文化意义

  ​● "书同文",即语言文字的统一,不仅推动了秦王朝政治.经济.文化的发展,更重要的是,这一文字统一局面横亘了整部中国史. ● "行同伦",其所代表的是衣食住行 ...

• 同伦摄动模态子区间算法在微电网孤岛潮流计算中的应用

  2017第六届新能源发电系统技术创新大会 中国电工技术学会主办,2017年6月21-24日在河北省张北县举办,大会围绕新能源发展战略.系统关键技术.微电网及储能等重要议题展开交流.浏览会议详情和在线报 ...