嗯，一阶逻辑是完备，多数常见的数学公理系统都可在一阶逻辑中表述 <- 中国开发网

CNDEV.ORG

当前在线

论坛

CBD
- 程序员情感CBD
- 程序员见面交流会
CBD开发区
- Java/J2ME
- .NET/C#
- 数据库
- Delphi/BCB
- Visual C
其它
情感
游戏
- CNDEV-CS/WOW
- 浩宇长空
生活
论坛系统

中国开发网: 论坛: 程序员情感CBD: 贴子 883446

wind_mark：嗯，一阶逻辑是完备，多数常见的数学公理系统都可在一阶逻辑中表述

[阅读: 423] 2011-01-14 08:27:48

<空>

相关信息:

不要把逻辑神化，逻辑本身是有缺陷的 (18字) (wind_mark [370] 2011-01-14 11:36)
- 大多数、绝大多数情况下正常、有用，就值得使用了 (空) (haitao [270] 2011-01-14 12:06)
  - 当代科学的基础是数学，数学的基础是逻辑，基础有缺陷。。。空中楼阁你敢住吗 (空) (wind_mark [261] 2011-01-14 12:46)
    - 传统物理是有缺陷，不妨碍它发展了这么多 (40字) (haitao [587] 2011-01-14 13:09)
      - 从实用主义来看，当然已经够用了，但理论研究，如果方向错了。。。 (空) (wind_mark [222] 2011-01-14 13:13)
        实用主义永远是需要的，如果是错，不是方向错了，而是适用范围错了 (33字) (haitao [256] 2011-01-14 13:23)
        中医也很实用，可是待遇就差远了。不和你争，日后只有公论 (空) (wind_mark [285] 2011-01-14 14:00)
    - 胡扯。听过严格性是时间的函数的说法么。一切学科都在发展中完善。 (空) (张秋桥 [281] 2011-01-14 14:02)
      - 如果你的专业不是数学，最好不要拿你不懂的玩意说事。 (空) (张秋桥 [334] 2011-01-14 14:03)
        我们对科学的信心来自科学既往的成就。我们必须知道，我们必将知道。 (空) (张秋桥 [316] 2011-01-14 14:08)
        这个并没有定论，例如：量子力学里面的测不准原理，索罗斯的反身性原理 (空) (wind_mark [356] 2011-01-14 14:12)
        你尽管扯吧。 (空) (张秋桥 [280] 2011-01-14 14:16)
        想用外延？要谨慎哦 (空) (wind_mark [292] 2011-01-14 14:20)
        不好意思，我恰好是数学系的，不过你也没说错，我确实不懂。张兄如果比较了解，不妨科普一下 (空) (wind_mark [268] 2011-01-14 14:09)
        不幸是的话正好证明你白学了一场。 (空) (张秋桥 [255] 2011-01-14 14:11)
- 关于齐辑， (518字) (wind_mark [416] 2011-01-14 13:03)
  - 可否这样理解，齐辑就是先打枪再画靶子，想要几环要几环 (空) (bmkun [444] 2011-01-14 14:14)
    - 赶紧从看一遍，我的描述应该没有这个意思吧 -_-!!再试试看能不能说得清楚一点 (181字) (wind_mark [355] 2011-01-14 14:40)
      - 打着古人的旗号，弄些看不懂的奇幻符号，加上现代分析的外壳，把简单事情弄复杂然后实行愚民骗人的本质 (空) (bmkun [344] 2011-01-14 14:51)
- 我就多扯几句吧。罗素悖论说明什么？集合要用一阶谓词定义，罗素悖论用的是二阶。 (空) (张秋桥 [304] 2011-01-14 14:30)
  - 歌德尔不完性定理并没有说我们的自然数系统里有不可证明的命题。他那个是人工构造的。 (空) (张秋桥 [660] 2011-01-14 14:31)
    - 测不准的问题是因为我们用光子测量其他粒子，光子和其他粒子之间的差别没有大到可以忽略的程度。 (空) (张秋桥 [288] 2011-01-14 14:33)
      - 如果将来可以找到更小的替代粒子，比如差别大到篮球和光子尺度，用于测量的粒子对被测粒子的影响可以忽略的话。 (空) (张秋桥 [335] 2011-01-14 14:36)
        总的说来本人及其厌恶利用科学中的某些专有名词或说法来反科学的行为。 (空) (张秋桥 [273] 2011-01-14 14:45)
        老的说法叫：打着红旗反红旗。 (空) (张秋桥 [228] 2011-01-14 14:47)
        坛子里果然藏龙卧虎阿，张秋桥V5 (空) (一切为何 [262] 2011-01-14 14:48)
        其实你已经说明了，不管怎样影响是存在的，是否小到可以忽略，仅是从实用性角度出发。这与严格、精确是不相容的 (空) (wind_mark [320] 2011-01-14 14:49)
        胡扯。混淆理论和实践。平面几何里的点没有大小，是一种理论的抽象，实际的点再小也有大小。 (空) (张秋桥 [332] 2011-01-14 15:04)
        但这不妨碍平面几何用于实践。 (空) (张秋桥 [272] 2011-01-14 15:04)
        是成功地用于实践。 (空) (张秋桥 [248] 2011-01-14 15:05)
        再补充一下，我目前认为人类是不可能真正认识宇宙，原因是：我们身处这个宇宙 (12字) (wind_mark [308] 2011-01-14 15:09)
        这个你要先定义什么是“真正”了，否则此问题没法讨论。 (10字) (疯子张 [326] 2011-01-14 15:14)
        没错，我的意思就是我们看到的，测到的都和实际有偏差 (空) (wind_mark [290] 2011-01-14 15:26)
        你们看到的一切，都是幻觉。其实你们是在matrix 里面发电呢。 (空) (pcplayer [266] 2011-01-15 13:19)
        胡扯。呵呵，堡垒最容易从内部攻破。 (空) (张秋桥 [260] 2011-01-14 15:14)
        我认为这个是测不准原理和反身性原理的基础 (空) (wind_mark [244] 2011-01-14 15:17)
    - 不是很明白，你在否认反证法吗？ (空) (wind_mark [250] 2011-01-14 15:23)
      - 不明白你拿它说什么事？ (空) (张秋桥 [247] 2011-01-14 15:28)
        最后多嘴一句，它不影响自然数系及其上的实数复述等等及其上的解析几何数学分析等等等等，以及依赖这些的物理化学等等，它就是个逻辑学的问题，不动摇其他学科的根基。 (空) (张秋桥 [343] 2011-01-14 15:38)
        睡觉去也！ (空) (张秋桥 [256] 2011-01-14 15:38)
        嗯，一阶逻辑是完备，多数常见的数学公理系统都可在一阶逻辑中表述 (空) (wind_mark [422] 2011-01-14 16:27)
- zz 霍金先生的最后一次公开演说原文翻译 (2254字) (wind_mark [408] 2011-01-14 17:07)

欢迎光临本社区，您还没有登录，不能发贴子。请在这里登录

页面内容处理时间: 0.021 - 522656