主题:【原创】我们不谈数学(3)(草稿) -- jungleford
共:💬29 🌺112
复 请教
俺那就是一番心血来潮的瞎扯,主要目的就是对数学本质,主要是对数学“抽象性”方面的一点民科想法
关于“∈”是不是可交换的,取决于“∈”是不是一种偏序二元关系。俺是想当然的觉得“∈”是偏序关系,不仅是偏序的,而且还是全序关系
这个纯属胡说八道,请跳过- 相关回复 上下关系8
🙂MS计算机语言的类型系统也是类型论的应用 假设 字131 2010-02-27 20:24:50
🙂我们不谈数学(番外的番外) jungleford 字1172 2009-11-05 04:09:04
🙂请教 踏马过 字303 2009-11-05 01:32:23
🙂【文摘】在数学的海洋中飘荡 4 gb2312 字3284 2009-11-05 00:09:25