呢度冇 logic 撚[數撚圍爐區] 今朝冇酒(#105798) 係on9, 係左膠, 係白痴 (60)
kai龍(苗撚)
1001 回覆
5 Like
5 Dislike
第 1 頁第 2 頁第 3 頁第 4 頁第 5 頁第 6 頁第 7 頁第 8 頁第 9 頁第 10 頁第 11 頁第 12 頁第 13 頁第 14 頁第 15 頁第 16 頁第 17 頁第 18 頁第 19 頁第 20 頁第 21 頁第 22 頁第 23 頁第 24 頁第 25 頁第 26 頁第 27 頁第 28 頁第 29 頁第 30 頁第 31 頁第 32 頁第 33 頁第 34 頁第 35 頁第 36 頁第 37 頁第 38 頁第 39 頁第 40 頁第 41 頁
呢度冇 logic 撚睇緊 children of the whales
放棄水原千鶴
放棄水原千鶴
手巴由零自學
應該點排除Russell paradox
唔係有左axiomatic set theory就解決左?
手巴諗緊
1. 手巴個proof checking system可唔可以intrinsically eliminate Russell paradox
2. 應唔應該eliminate 定係提供唔同既set theory比人揀 就算用家揀到容許paradox都係用家自己選擇
1. 手巴個proof checking system可唔可以intrinsically eliminate Russell paradox
2. 應唔應該eliminate 定係提供唔同既set theory比人揀 就算用家揀到容許paradox都係用家自己選擇
手巴而家個系統實際上依賴principle of explosion去表述valid既proof
A or not A
case A - good
case Not A
... some contradiction
So by principle of explosion -> A
Therefore A
大概係咁
所以目前無打算rule out principle of explosion
A or not A
case A - good
case Not A
... some contradiction
So by principle of explosion -> A
Therefore A
大概係咁
所以目前無打算rule out principle of explosion
