-
突然对群论里的「等于」有点疑惑
• • wumingshi比如说，当我们论证一个群 G 的单位元 e 是唯一的，课本上应该都是这么写的： 如果有两个单位元，分别叫 e1 e2，那么根据单位元性质，有 e1 = e1e2 = e2，从而其实就是同一个元素。 但是回头看二元运算的定义，是一个集合上的有序对到集合自身的映射，在上面的例子中，其实应该说的是，e1e2 根据映射的定义只能映到一个元素上，但是根据单位元性质它同时映到 e1 和 e2 上，所以它们只能是同一个元素。这并不是通过等于号的传递性得到的。那么很多时候用一串等号来证的东西会不会需要把等于的传递性声明一... -
看毕导一个视频看到引用的爱因斯坦的一段话，真是精妙的比喻
• • wumingshi不过我没搜到毕导说的接下来爱因斯坦所写的“这就是我的信条”。视频里给了英文，搜了一下只找到了视频所给的部分 https://www.eoht.info/page/Einstein on free will In 1931, Einstein, in response to questions about belief in free will, responded with the following comparison of the will of the moon: “If the moon, in... -
如何说服一个完全不信任你的人
例如岳昕事件中学校歪曲事实导致家人间的不信任的情况 https://etherscan.io/tx/0x2d6a7b0f6adeff38423d4c62cd8b6ccb708ddad85da5d3d06756ad4d8a04a6a2?from=groupmessage&isappinstalled=0 假定此人具有严格逻辑思维 -
在一个神奇的电子书网站看到一本神奇的计算机数学书
http://124.223.24.112:8083/book/549 计算机代数系统的数学原理 网址没有域名也会被谷歌收录的吗？ -
蹲个数学大佬，我上来就被范畴论的定义迷惑了【算是没事了狗头】
一个范畴有两个 collections，一个是 objects，一个是 morphisms，一个态射对应两个对象，两个对象 A 和 B 之间所有的态射记作 Hom(A, B)，所以说某个从 A 到 B 的态射 f 和 Hom(A, B) 不一样，是这个意思吧？但是我看合成律的描述有 gf = h 这样描述态射的合成的，也有 Hom(A, B) × Hom(B, C) = Hom(A, C) 的，前者的描述我感觉就是错的，因为两个对象之间可以不止一个态射，那我拿出一个 A 到 B 的态射和一个 B 到 C ... -
感觉康德的概念体系很模糊
• • wumingshi怎么才能看懂康德的《纯粹理性批判》到底在说什么？ - 多特姚的回答 - 知乎 https://www.zhihu.com/question/20326554/answer/795877572 【回答节选】 先验，就是先于经验、而使经验成为可能。 既然这个关于外部世界的知识是先天必然的，那就能不仅仅是靠经验，还必须依赖范畴。 知识必须要以先天综合判断的形式出现。 比如说，人是有重量的。 这个”重量“并不能从”人“这个概念里分析出来，但经验又告诉我们这个判断必然成立。但这个判断又是先天成立的。先天综合判断就是...
