[請益] 停機問題和實數set並非可數的無窮sets

看板logic作者Wittgenstein (Wittgenstein)時間15年前 (2009/06/19 23:36)推噓2(2推 0噓 0→)

留言2則, 1人參與討論串1/3 (看更多)

這兩個定理，可以不用反證法，證明出來嗎?? 也就是可以給定一個構造性證明嗎? 有沒有數學定理(不考慮邏輯上的定理)，如果不使用反證法是證不出來的? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.169.233.20

推

06/20 04:43, , 1^F

06/20 04:43, 1^F

推

06/20 04:43, , 2^F

06/20 04:43, 2^F

※ 編輯: Wittgenstein 來自: 118.169.228.229 (06/20 12:27) ※ 編輯: Wittgenstein 來自: 118.169.228.229 (06/20 12:29)

文章代碼(AID): #1AEx1dlg (logic)

討論串 (同標題文章)

以下文章回應了本文：

請益

15年前, 07/25

完整討論串 (本文為第 1 之 3 篇)：

排序：最舊先 | 最新先 | 留言數

請益

15年前, 06/19

請益

15年前, 07/25

請益

14年前, 08/05

文章代碼(AID): #1AEx1dlg (logic)