科学网—xying的博文

热度 9 应行仁 2013-11-18 10:25

上一节的语义悖论反映出自然语言表达的疵瑕和能力的不足。谎言悖论和 Grelling's paradox 让我们思考语义的基本概念：什么样的句子是“真”的。后两例， Berry’s paradox 和 Richard's paradox 反映了语言表达“可定义”的能力问题。它们归结为：怎么定义句子为真的。在哲学家和逻辑学者眼中，真理是 ...

个人分类: 科普|10222 次阅读|21 个评论热度 9

自我指涉（2）——语义悖论

热度 15 应行仁 2013-11-14 10:24

公元前 4 世纪希腊哲学家 Eubulides 是个有趣的人，他提出七个悖论【 1 】当时都很有名，亚里士多德和柏拉图用它们作为促进思考的饭后谈资。最有名的当然是谎言悖论，其中三个可以用这个故事来代表：阿发忽略了走近他的人，把他当作陌生人。这个人是他的父亲。阿发是否忽略他的父亲，把他当作陌生人？另两 ...

个人分类: 科普|13843 次阅读|28 个评论热度 15

自我指涉（1）——谎言悖论

热度 19 应行仁 2013-11-11 07:30

在科学史上，还没有一种悖论像自我指涉（ self-reference ）的悖论那样引起广泛的注意。自我指涉合法存在于人们日常语言中，数学基础上和认知科学里，随处可见，造成的矛盾在逻辑上无懈可击，历经了两千多年，对此除了尽量规避之外，至今专家们仍然没有妥善的解决方案。它构造矛盾的方法成为证明中的重要技巧，在一些 ...

个人分类: 科普|21547 次阅读|63 个评论热度 19

怎么读悖论

热度 28 应行仁 2013-11-7 08:23

读书人典型的有两类，一类博闻强记，脑子是书架子，关心的是标准答案，装的知识多了就成了博士、博导和院士。说话必有所据，洋洋洒洒引经据典多是精装书和名人所说。至于名人和精装书说的对不对，那是别人的事。另一类是爱思考，用脑子琢磨事，喜欢在大家熟视无睹的地方找问题，关心的是原理逻辑和为什么，谁说的不重要， ...

个人分类: 科普|14963 次阅读|75 个评论热度 28

等邮件的数学模型

热度 12 应行仁 2013-8-30 08:01

董明提出一个很有意思的数学模型问题，说网购了几本书，收到发货通知后，儿子天天问“今天书会不会到”。刚开始他回答：“可能，机会比昨天大一点。”心中想的是每一天到货的概率分布，这概率密度是类似于正态分布的曲线。按照这个模型，前几天没收到书，今天收到书的概率会越来越大，最后儿子问：“要是一直不来， ...

个人分类: 科普|10000 次阅读|26 个评论热度 12

理解数学——模型（3）

热度 8 应行仁 2013-8-16 07:53

从形式主义的观点来看，数学的命题是由没有含义的符号，按照语法规则形成的符号串；数学的推理是按照演绎规则，机械地产生出一些新的符号串；数学的各个分支理论，只是在逻辑上自洽的命题集合，在里面研究怎样演绎产生的新命题。虽然凭借着各种例子的解释，赋予这些数学概念和命题的某种解释，但这些不能够被准确定义的形 ...

个人分类: 科普|9766 次阅读|10 个评论热度 8

理解数学——模型（2）

热度 11 应行仁 2013-8-9 07:59

数学的语言严谨但局限，现实的世界是不可想象般的丰富，甚至自然的语言都比数学的描写丰富，因为它能够含糊其辞，给你想象空间。真实的世界不可能用数学模型完全描述，它只能反映出某种角度的抽象关系。经过抓住重点，忽略其余，关注的对象和关系被大大地简化。而同一个事例，由不同侧重就有着不同的数学模型。同样的 ...

个人分类: 科普|10917 次阅读|21 个评论热度 11

理解数学——模型（1）

热度 17 应行仁 2013-8-5 07:50

对于数学，许多人关心的是怎么应用，这也是需要训练和智力的。最简单数学应用是算术的加减法，通常认为这是碰到了就会用的事，忘记了这也是在小学里被不断考试逼得才习惯的。小懵小的时候被他妈考：“口袋里有两个钢蹦，回家后发现口袋破了，还剩啥？”，小懵答：“还有个洞。”问：“你同学有 5 个苹果，被你吃了 3 ...

个人分类: 科普|18156 次阅读|58 个评论热度 17

理解数学——逻辑（5）

热度 23 应行仁 2013-7-30 08:23

上一篇里有关“无穷”、“无限的推理过程”、数学归纳法、反证法等概念和它们间的关系引起一些有意义的讨论，其中不乏数学专业的教授和对数学问题钻研很深的网友，让我觉得值得向更多的读者分享些相关的概念和逻辑。这里谈的并不针对讨论的所有内容，而是大多数读者可能感兴趣的核心观念和逻辑。有人说：“看了讨论让 ...

个人分类: 科普|10794 次阅读|72 个评论热度 23

理解数学——逻辑（4）

热度 17 应行仁 2013-7-25 10:19

经过千年的犹豫和百年的争执，人们意识到不能再回避无穷作为数学的实体，终于将现代的数学建立在集合论的基础上。时间淘汰了盛行过的各种流派，在现代有影响的还有三大数学流派，它们都在 1900 年到 1930 年间形成。首先是罗素为代表的逻辑学派，认为数学和逻辑是全等的。每一条的数学真理都能够表示为真正的逻辑 ...

个人分类: 科普|13908 次阅读|47 个评论热度 17

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

xying

关闭安全验证