主题:【原创】我们不谈数学(3)(草稿) -- jungleford
还是一个老帖子
5-1=巴掌?
刚刚下班回家在农工商旁边的小摊上买花生,摊主是一对中年夫妇,一小dd,估计是他们的孩子,趴在方茶几上写作业。胡子拉碴的蜀熟在旁边盯着,突然劈头一顿落英神剑掌拍下:“五减一等于一?!五减一等于一?!”,小dd抽着鼻子都不敢哭出声,偶小声说了一句“怎么能这么对孩子呢”,估计周围太嘈杂,他们没听见。
斗胆猜测这位蜀熟自己可能也未必能严格证明“五减一”为什么就不能等于一,可能未必学过近世代数,可能未必了解自然数和皮亚诺公理系统,可能未必清楚自然数群的性质,可能未必意识到“减”是二元函数而“等于”是二元关系……以上仅仅是说笑,不是xb,偶离散学得颇烂,把代数结构和数理逻辑课程也忘得差不多了。当年也被老豆暴扁过的,而且还是离满分差几分就揍几下的那种,不好过了若干年就来嘲笑所谓家庭暴力,只是“悟”到过了这若干年 “下雨天打孩子闲着也是闲着”的传统似乎没有多少改变。很多家长对孩子倒是挺严格,对自己反而不那么严格,没有形成健康的榜样,导致孩子成年以后缺乏纪律性和责任感,做事先想着后路,后果不好该怎么逃避追究,多年以来倒真是有点像雷海宗先生说的中国人养成了“一种文弱的气质”。
BTW:这边的花生好像炒得比北京的苦一些……
- 相关回复 上下关系8
🙂【原创】我们不谈数学(番外篇) 9 jungleford 字19547 2009-11-05 03:55:06
🙂泛型大概和数理逻辑中的类型论有关 明日枯荷包 字50 2009-11-05 05:55:29
🙂MS计算机语言的类型系统也是类型论的应用 假设 字131 2010-02-27 20:24:50
🙂我们不谈数学(番外的番外)
🙂请教 踏马过 字303 2009-11-05 01:32:23
🙂康托尔本人确实不是按俺那个方式论证的 jungleford 字374 2009-11-05 01:41:04