@ 2008.08.21 , 15:49
63

推理1+1=2

出自怀特海(Whitehead,英国数学家和哲学家)和罗素(Russell,英国数理逻辑学家)的《数学原理Principia Mathematica》一书。来源wiki

这是什么定理(*54·43)我不懂,当然我也不是在嘲笑什么,数学是对人类有很大贡献的学科,发布出来只是让大家看看稀奇……以下是大图:

[-]


给这篇稿打赏,让译者更有动力
支付宝打赏 [x]
您的大名: 打赏金额:

2.4
赞一个 (5)

TOTAL COMMENTS: 63+1

[2] 1 »
  1. 龙崎流江
    @1 year ago
    3298911

    @bt: 你真能啊

  2. 有些不明白
    @4 years ago
    2159675

    为什么这个原理要出现在数学 呢 这个原理又是谁想出来的呢?麻烦一下

  3. 664574

    那个时代很多数学家寻求给数学一个严格的基础,集合论只是其中一个方向。罗素和怀特海早些时候是相信集合论可以做到这点的,所以有这本合著。

  4. xrumersx
    @7 years ago
    621004

    xrumer 5.0 palladium crack – xrumer, xrumer скачать, xrumer 5.0, xrumer cracked, xrumer бесплатно, xrumer скачать бесплатно, хрумер, скачать хрумер, бесплатный хрумер, хрумер бесплатно. Сайт xrumer.tv

  5. chofilchaveroh
    @7 years ago
    572139

    Hi,

  6. 416155

    Современное остекление окон. Предлагаем услугу по остеклению ваших лоджий. Профиль только REHAU и PROVEDAL. Нестандартные виды работ. Вынос остекления, монтаж крыш, укрепление ремонт балконов, кладка пеноблоком, утепление, евроотделка отделка внешняя и внутренняя, монтаж шкафчиков тумбочкек на балконе лоджии, электрика, сушки для белья, и многое другое. Предлагаем Вам полный комплекс работ по внутренней отделке балконов и лоджий. Остекление балконов и лоджий. Сайт elit-balkon ru

  7. 古月
    @8 years ago
    408615

    推理论坛,推理小说,推理悬疑。。。http://shushejulebu.5d6d.com/bbs.php
    欢迎各位加入···

  8. 304234

    1=1=2是人都知道

  9. 严酷的魔王
    @9 years ago
    280784

    不知道他的最初的公理是什么……好想看看这本书

  10. 屎壳郎
    @9 years ago
    163508

    pchu太厉害了

  11. 163355

    看起来像是集合论概念上的证明,不是初等算术的那种

    这么看起来,α和β是集合,1代表单元素集组成的集合(习惯上也称集族的吧),2则应该是双元素集的集族(这个2的定义估计才是整个证明的精粹所在,截图看不到),Λ是空集
    ?像是“推出”,≡是“等价”

    那么要证的是:若α和β是单元素集,那么(它们之交为空 当且仅当 它们之并有两个元素)
    那个 ι‘x 看起来像集合的枚举定义(即其中含有元素x),那么*54·26就是说这两个单元素集的元素满足什么条件时其并属于2(应该很重要)
    其后*51·231则是说两个单元素集的元素满足什么条件时其交为空(也很重要)
    *13·12像是关于符号代换的
    *11·11·35加了个存在量词?上去
    最后*11·54和*52·1终于把“α和β是单元素集”翻译成“存在x,y使得α中只有x,β中只有y”的形式,这才和前面的(2)接上轨,完成证明

[2] 1 »

发表评论


24H最赞