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

全看分页树展 · 主题 跟帖

复 请教

家园 康托尔本人确实不是按俺那个方式论证的

俺那就是一番心血来潮的瞎扯，主要目的就是对数学本质，主要是对数学“抽象性”方面的一点民科想法

关于“∈”是不是可交换的，取决于“∈”是不是一种偏序二元关系。俺是想当然的觉得“∈”是偏序关系，不仅是偏序的，而且还是全序关系

这个纯属胡说八道，请跳过

全看分页树展 · 主题 跟帖

• 相关回复 上下关系8

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

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

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

      • 🙂康托尔本人确实不是按俺那个方式论证的

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

          • 🙂呃，讲序关系是不对 jungleford 字102 2009-11-05 03:19:26

            • 🙂嗯 踏马过 字245 2009-11-05 03:55:25

    • 🙂【文摘】在数学的海洋中飘荡 4 gb2312 字3284 2009-11-05 00:09:25