作者aletheia (cOnJeCTuRe)
看板W-Philosophy
标题Re: [闲聊] 石头论证B版
时间Tue Oct 14 12:58:49 2008
※ 引述《aletheia (cOnJeCTuRe)》之铭言:
: 标题: Re: [闲聊] 石头论证B版
: 时间: Sun Oct 12 13:45:37 2008
:
: 推 krisnight:囧我想到痛苦的集合论 10/12 14:23
: 推 artyman:有趣的是 康托後来表示他是受到上帝的帮助 才证明出这定理 10/12 15:19
: → aletheia:查过了 整数和自然数一样大的证明 是康托第一个证的 10/13 00:34
: 推 A1Yoshi:不如来讨论那个证明吧。还蛮好玩的说~ 10/13 02:23
: → aletheia:是说Schroder-Bernstein Theorem吗 10/13 15:25
: 推 zoneline:我也想看那个证明 推一个!!!! 10/14 00:27
我在logic板写了一篇关於Schroder-Bernstein Theorem的证明
如果有Schroder-Bernstein Theorem的话
Z和N一样大的证明颇简单,如下:
给定 f:Z->N , f(n)=n
g:N->Z , f(n)=|n , if a>b
|-n , if a<b
根据Schroder-Bernstein Theorem,那麽Z和N为equinumerous
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.134.201.196
1F:推 krisnight:a你可以改标题了啦 10/14 21:17