作者查詢 / kaifrankwind
作者 kaifrankwind 在 PTT [ Math ] 看板的留言(推文), 共50則
限定看板:Math
看板排序:
全部Eng-Class3794poem532movie445Road_Running311Translation204Hunter184DSLR120GRE108W-Philosophy99bicycle92tutor51Math50logic38PathofExile37photo37Chiayi33SENIORHIGH30Songs24NBA22Economics17Salary15Soft_Job14Education13Hearthstone13clmusic7Beauty6book5FuMouDiscuss4poetry4FITNESS3Gossiping3HOT_Game3prose3sex3Steam3ChangHua2DIABLO2LegalTheory2music2NBA_Film2PhD2PlayStation2SMSlife2translator2AfterPhD1Artfilm1Cognitive1Feminism1FORMULA11NARUTO1NDHU_OECLab1prozac1TFSHS65th3061TOEIC1<< 收起看板(54)
15F→:是阿02/01 23:55
19F→:這樣說吧 雖然現代邏輯的起源是為了描繪人類推理的02/02 01:03
20F→:形式結構 但不代表發展出來的系統已經可以百分百貼切02/02 01:04
21F→:我們的直覺 古典的二值命題邏輯對於條件句處理雖然02/02 01:06
22F→:不太符合我們日常語言的直覺 但它整體而言已經是很成02/02 01:08
23F→:功的一個系統 也足以描繪數學推理02/02 01:09
24F→:3那樣設定 你會覺得怪也是正常的 不過這樣子定義的if02/02 01:15
25F→:...then..確實足以解釋數學推論 所以我是建議原PO學02/02 01:16
26F→:邏輯時要分得出自己日常的直覺跟邏輯系統給予的定義02/02 01:18
27F→:不要當作是同一回事02/02 01:19
5F→:sentential logic 雖然語句邏輯和命題邏輯是同一套東01/18 12:24
6F→:但有些人可能會基於哲學上的考量 只想用其中一種稱呼01/18 12:25
7F→:但那跟做數學就沒關係了...01/18 12:26
3F→:應該是1F說的10/12 21:41
10F→:想請問一下:為什麼P=NP的話 數學證明就可以自動化了?06/03 23:01
23F→:或許可以這麼說: P=NP雖然不能說是有重大實際應用的06/02 01:46
24F→:充分條件, 但至少是個必要條件06/02 01:47
24F→:(D)有兩個地方可以考慮真假:(1)等號左邊的比例是否成05/18 21:41
25F→:立;(2)等號左邊運算結果是否等於右邊. 在判斷(D)真假05/18 21:42
26F→:前要假設(1)(2)都未知還是只設(2)未知? 理由何在?05/18 21:43
2F推:解考題又不是在做數學 實在不認為大家有必要在這問題05/18 21:28
3F→:上花費這麼多時間05/18 21:29
31F推:你的看法跟我之前PO文的看法一樣05/18 11:13
18F→:g大 照你對於判斷敘述的理解 其實問說"a+b:ab = 3:5"05/18 11:23
19F→:等同於在問說"a+b的和與ab的積, 兩者3:5" 對吧05/18 11:25
20F→:我看不太懂你不允許(-3,-5)被剔除的理由. 兩個題目裡05/18 11:30
21F→:都是無意義的敘述啊? 所以你是認為錯誤這概念包含無05/18 11:32
22F→:意義? 如果問題是出在這裡的話 那也沒什麼好爭的 就05/18 11:33
23F→:只是雙方理解詞語的方式不同05/18 11:34
1F→:根據wikipedia 比的定義應該是跟分數的定義相同05/17 23:57
2F→:http://tinyurl.com/45aapf05/17 23:57