Re: [請益] 停機問題和實數set並非可數的無窮sets
※ 引述《Wittgenstein (Wittgenstein)》之銘言:
: 這兩個定理,可以不用反證法,證明出來嗎??
: 也就是可以給定一個構造性證明嗎?
: 有沒有數學定理(不考慮邏輯上的定理),如果不使用反證法
: 是證不出來的?
關於R是不可數的集合
我覺得是這樣子的
所謂的不可數定義是甚麼
似乎是用可數來加以定義
還記得高微是這樣寫的
集合先去定義有限
接下來再去定義可數
不在上面這兩個範圍 就稱為不可數
所以為什麼要用不可數要用反證法來證明
我覺得是因為只有在不可數的反面才有明確的定義
因此使用反證法
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.134.25.40
討論串 (同標題文章)