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

• 相关回复 上下关系8

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

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

      • 🙂泛型大概和数理逻辑中的类型论有关 明日枯荷包 字50 2009-11-05 05:55:29

        • 🙂MS计算机语言的类型系统也是类型论的应用

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

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

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

        • 🙂的确有点想当然了 踏马过 字283 2009-11-05 03:13:23