作者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)