主题：【原创】我们不谈数学（3）(草稿） -- jungleford

• 相关回复 上下关系8

  • • 🙂【讨论】问题 1 踏马过 字1342 2009-11-06 03:06:14

      • 🙂呵呵，多虑了 jungleford 字305 2009-11-06 03:14:35

    • 🙂【原创】我们不谈数学（番外篇） 9 jungleford 字19547 2009-11-05 03:55:06

      • 🙂泛型大概和数理逻辑中的类型论有关

        • 🙂MS计算机语言的类型系统也是类型论的应用 假设 字131 2010-02-27 20:24:50

      • 🙂我们不谈数学（番外的番外） jungleford 字1172 2009-11-05 04:09:04

    • 🙂请教 踏马过 字303 2009-11-05 01:32:23

      • 🙂康托尔本人确实不是按俺那个方式论证的 jungleford 字374 2009-11-05 01:41:04