作者Wittgenstein (Wittgenstein)
看板logic
标题[请益] 停机问题和实数set并非可数的无穷set
时间Fri Jun 19 23:36:06 2009
这两个定理，可以不用反证法，证明出来吗??
也就是可以给定一个构造性证明吗?
有没有数学定理(不考虑逻辑上的定理)，如果不使用反证法
是证不出来的?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.169.233.20
1F：推 aletheia:diagonal proof本来就是RAA呀 你是说ω≠Ｒ用 06/20 04:43
2F：推 aletheia:constructive proof吗 这我不晓得 06/20 04:43
※ 编辑: Wittgenstein 来自: 118.169.228.229 (06/20 12:27)
※ 编辑: Wittgenstein 来自: 118.169.228.229 (06/20 12:29)