作者simonjen (狂)
看板logic
标题Re: [请益] 停机问题和实数set并非可数的无穷sets
时间Sat Jul 25 14:18:22 2009
※ 引述《Wittgenstein (Wittgenstein)》之铭言：
: 这两个定理，可以不用反证法，证明出来吗??
: 也就是可以给定一个构造性证明吗?
: 有没有数学定理(不考虑逻辑上的定理)，如果不使用反证法
: 是证不出来的?
关於R是不可数的集合
我觉得是这样子的
所谓的不可数定义是甚麽
似乎是用可数来加以定义
还记得高微是这样写的
集合先去定义有限
接下来再去定义可数
不在上面这两个范围 就称为不可数
所以为什麽要用不可数要用反证法来证明
我觉得是因为只有在不可数的反面才有明确的定义
因此使用反证法
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.134.25.40