作者查詢 / Linethan

總覽項目: 發文 | 留言 | 暱稱
作者 Linethan 在 PTT [ Math ] 看板的留言(推文), 共142則
限定看板:Math
解釋重複了自己
[ Math ]25 留言, 推噓總分: +6
作者: saltlake - 發表於 2021/02/07 21:20(4年前)
22FLinethan: 可以看看wiki介紹的『circular definition』02/09 11:48
[其他] 選擇公理為什麼需要證明?
[ Math ]28 留言, 推噓總分: +9
作者: dharma - 發表於 2021/01/08 17:54(4年前)
17FLinethan: 我還沒看Banach-Tarski定理的證明 但我在猜想其根本01/10 14:14
18FLinethan: 的道理是否和以下論述類似?考慮兩個interval集合01/10 14:16
19FLinethan: [0,1]和[0,2] 這兩個集合的元素個數(cardinality)01/10 14:16
20FLinethan: 是一樣多的 因為存在一對一的函數從[0,1]到[0,2]01/10 14:17
21FLinethan: 比如f(x)=2x 因此我們可以把線段[0,1]變換成[0,2]01/10 14:18
22FLinethan: 但是以長度來看 [0,2]的長度自然為[0,1]的兩倍01/10 14:19
23FLinethan: 也就是說從集合的角度來看 [0,1]和[0,2]一樣大01/10 14:19
24FLinethan: 但以長度來看它們不相同 這和分球問題的道理類似嗎?01/10 14:20
[其他] 不能被證明或者被證偽 那它就是對的
[ Math ]58 留言, 推噓總分: +12
作者: dharma - 發表於 2020/12/21 17:31(5年前)
25FLinethan: 可是Goldstein定理還是有被證明出來的,它只是不能12/22 09:21
26FLinethan: 在算術體系下被證明,但在其它體系下就被證明了,12/22 09:21
27FLinethan: 不是嗎?我認知有誤請指正12/22 09:21
28FLinethan: 同理,即便黎曼猜想不能在某些公設之下被證明,那也12/22 09:24
29FLinethan: 不能代表它是對的吧,只能說它可能需要其它公設才12/22 09:24
30FLinethan: 能被證明或證偽12/22 09:24
34FLinethan: Goodstein不就是在皮亞諾公理以外的體系被證明?12/22 11:40
35FLinethan: 我當然不知道黎曼猜想需要什麼體系才能被證明XD12/22 11:40
36FLinethan: 我只覺得『無法在既定體系被證明或證偽 就是對的』12/22 11:41
37FLinethan: 這樣的觀點非常奇怪吧 對或錯 和能否被證明是兩回事12/22 11:42
38FLinethan: 除非要把黎曼猜想直接當成一個公設 也就是人為賦予12/22 11:43
39FLinethan: 它是正確的 但即便如此 那也是人為選擇的結果12/22 11:43
40FLinethan: 而非『因為無法證明,所以是對的』這種推論的產物12/22 11:44
想問一個機率問題研究學者
[ Math ]14 留言, 推噓總分: +5
作者: frog0824 - 發表於 2014/12/14 03:27(11年前)
9FLinethan: 我沒讀過這個研究 但我的直覺解釋是 當看到這三個選12/15 07:33
10FLinethan: 項出現時 一般人會解讀成彼此是無交集的12/15 07:34
11FLinethan: 也就是說會把A當成是銀行行員但非女性主義12/15 07:35
12FLinethan: 把B解讀成女性主義但非銀行行員12/15 07:35
13FLinethan: 儘管A跟B的字面意思並不是那樣 但C選項同時出現時12/15 07:36
14FLinethan: 就會對A跟B做出錯誤的解讀12/15 07:37
Re: [中學] 請問一題國中段考題,全班沒人會@@"
[ Math ]13 留言, 推噓總分: +8
作者: Honor1984 - 發表於 2014/12/03 14:53(11年前)
13FLinethan: 什麼 原來有外接圓 我還以為那是畫錯擦掉的痕跡....12/04 10:06
[中學] 集合的概念
[ Math ]9 留言, 推噓總分: +3
作者: tom123 - 發表於 2014/07/23 14:57(11年前)
2FLinethan:A={0} 表示0是A的一個元素 所以是0屬於A07/23 14:58
[公告] Chatterly水桶一個月
[ Math ]27 留言, 推噓總分: +11
作者: calvin4 - 發表於 2014/05/28 19:29(11年前)
10FLinethan:還是不想推板主 Chatterly已經惡言很久 現在才桶他05/29 00:16
11FLinethan:也太慢了 而且對這種人才桶一個月?05/29 00:16
[公告] 請斟酌使用發表文章的權利
[ Math ]1 留言, 推噓總分: +1
作者: calvin4 - 發表於 2014/05/28 01:41(11年前)
1FLinethan:板主你也太客氣了 數學板允許有人一直罵別人程度差?05/28 10:10
[其他] 數學符號
[ Math ]8 留言, 推噓總分: +3
作者: JSL1028 - 發表於 2014/05/02 12:02(11年前)
5FLinethan:因為不相等 所以不用等號啊05/02 14:07
Re: [心得]「若且唯若」
[ Math ]83 留言, 推噓總分: +7
作者: greprep - 發表於 2014/04/21 04:32(11年前)
20FLinethan:"唯若"的確不是生活會用的詞 但這依然不是問題04/21 13:04
21FLinethan:因為不管是用中文學還是用英文學 都必須要從邏輯跟04/21 13:05
22FLinethan:符號開始學起 簡單來說是要先懂"P<==>Q" 接著才告訴04/21 13:06
23FLinethan:你用語言怎麼表達"P<==>Q"04/21 13:06
24FLinethan:所以我覺得若且唯若完全不是問題 因為那就只是定義04/21 13:07
25FLinethan:一個詞彙去表達"P<==>Q"而已 是先知道邏輯與符號後04/21 13:08
26FLinethan:才去認識一個詞彙 而不是看著"若且唯若"去猜它說什麼04/21 13:09
27FLinethan:最後 你別以為英文母語的人看到"if and only if"04/21 13:10
28FLinethan:就懂它是"P<==>Q"..沒學好邏輯的照樣是不懂04/21 13:11
29FLinethan:我的看法是 根本沒有如何整合的問題 就只當成一個定04/22 02:10
30FLinethan:義: 定義"若且唯若"來代表邏輯關係"<==>"04/22 02:11
31FLinethan:所以我不用去問為什麼這個詞彙不是生活常用語 因為我04/22 02:12
32FLinethan:們只不過是找一個詞來代表一個意思 事實上你也可以04/22 02:12
33FLinethan:不要用這個詞 很多人會講"充分且必要"來代替若且唯若04/22 02:13
34FLinethan:邏輯或數學用語 跟生活用語不一樣 的例子太多了04/22 02:14
35FLinethan:比如說"函數" 為什麼function要翻函數? 誰在生活中會04/22 02:14
36FLinethan:使用"函數"這個詞了? 但大家也是自然接受了這個用語04/22 02:15
37FLinethan:就算是英文 平常人在講function時 跟數學上定義的04/22 02:16
38FLinethan:function意思也差了很多啊 就算是native speaker04/22 02:16
39FLinethan:也不會看到function就自然地跟數學定義結合在一起04/22 02:17
40FLinethan:老實講 跟若且唯若相比 我還更不懂函數為啥叫函數04/22 02:19
51FLinethan:感謝樓上 但說真的就算看了那個解釋 我覺得都很難懂04/23 06:19
52FLinethan:很文言很抽象 就跟若且唯若一樣啊(攤手)04/23 06:20
53FLinethan:再回原po 那其實問題是你遇到的老師沒教好吧...XD04/23 06:21
54FLinethan:然後 用"若且唯若"這種一點也不生活的詞句 也有另一04/23 06:22
55FLinethan:個好處 那就是它只會用在數學或是其他學術文章裡面04/23 06:22
56FLinethan:一看到它 大家都馬上知道它的意思就是"<==>"04/23 06:23
57FLinethan:而不會跟其他生活用語混淆在一起04/23 06:24
58FLinethan:而且 你說函數有很多實例可以幫你學會04/23 06:25
59FLinethan:若且唯若 也一樣有一大堆實例可以講啊= =04/23 06:26