作者查詢 / bx
作者 bx 在 PTT [ gallantry ] 看板的留言(推文), 共111則
限定看板:gallantry
看板排序:
全部DummyHistory134gallantry111ask-why91Soft_Job59historia37TW-history26Trading25CHING22book14GreenParty14joke13MdnCNhistory10Romances6ASHS-94-ye5FJU-AM-904Hate4CCSH_87_3123KMT3NTOU-EBFS933STDM-86-3023CCSH_88_3042ck54th3012HSNU_j1022NCCU02_SOCI2NTPU-ACC902NTU93thLIS2NTUCH-902specialman2STDM-87-3052TTU-EE902Yup02-082Agronomy-841ALUMNI-YP1B863011XX1B873013XX1CFantasy1CGU-Med-951China-Drama1ci-poetry1ck-talk1ck49th3091ck54th3161ck55th1021CK84Courage1cksh80th3011cksh80th3201cksh81st3031CS15th3441FJU-KENDO1FJU-Trade1HBB7151HS91_E1HSNU_9381HSNU_9851IC-Card1KingdomHuang1KS93-3161midwaywisdom1MZ26th3041NCCU02_TUR1NCCU03_MAT1NCUFingrad031NDHU-phy951NEHS18th41NTPU-LAND90B1NTPUyouthCOM1NTU-GIIB20021NTU95thLIS1NTUAC881NTUBP-R901NTUCH-941NtuDormF31NTUE-DC991NTUHistory881NTUMath911NTUR911230XX1PERCUSSION1PTGS51th3151R89325xxx1shining31SmallFace1SSSH-13th3051TaiwanDrama1THHS911Warfare1YMSH_90_3021YP87-3021YP91-3111YP92-3111Yup01-021<< 收起看板(90)
8F推:古代的回歸年比現代要長 所以不能用現代數字直接套用計算誤差03/02 14:20
2F→:可以這麼說02/22 15:19
5F→:陣法就是因為說書有趣 版本就很多 只好取幾個版本放在不同段落02/22 15:26
6F→:以獨立創作來說當然是重覆 但以整理的概念來說就不得不然02/22 15:27
8F→:封神演義在文字上不像完成版 但作者都不確定了 也就不知道原因02/22 16:18
1F推:我以為最晚到 Cantor 的現代集合論 就算是現代數學了01/18 15:11
2F→:但這樣已經很不合社會史的分段 1950 才算現代 就有點誇張了01/18 15:15
4F→:一般在 1950 之後 或電腦出現的 1946 年就算是後工業時代01/18 15:17
7F推:範疇論一般是電腦科學 特別是計算理論和程式語言在用的01/18 15:19
8F→:我很少意識到它在數學上的意義和地位01/18 15:20
15F推:電腦和數學用的範疇論應該是一樣的吧 差別在哪裡 @@01/18 18:55
16F→:我不是指應用性的 lamda calculus 而就是 category theory01/18 18:58
21F推:電腦科學的範疇論最常用在程式語言的分析和演算法的證明上01/18 21:55
22F→:常常都是滿篇的 type 和 category 建構分析01/18 22:02
23F→:隨便就會來個阿貝爾範疇、笛卡爾封閉範疇的01/18 22:11
24F→:這應該和純數研究的範疇論是一樣的才對01/18 22:12
1F推:形式邏輯是辯論邏輯的定理化發展 但仍然是一脈相承的 說到這裡01/18 12:15
2F→:還有我一直說的是未知 反而是你堅持否定 誰有答案誰該論證01/18 12:18
3F→:你若不對中國數學和歷史有所認知 就不該簡單說不可能01/18 12:18
4F→:理學更不是唯一的學問 會提到理學是因為你對中國的簡陋印象01/18 12:20
5F→:跟邏輯學會不會從理學發展出來 一點關係也沒有01/18 12:20
6F→:你根本就只是在打擊不存在的論述 並扣到我頭上來01/18 12:21
7F→:我不會再就這個題目回應你的文章了01/18 12:23
8F→:還有形式邏輯在數學上的成功 是現代數學的成功 而不是近代數學01/18 12:27
9F→:而我們討論的是近代數學 那還有很遙遠的距離01/18 12:27
10F→:而能成功發展近代數學出來 就不太可能不接觸到希臘的形式邏輯01/18 12:31
11F→:到時是自發研究還是引進都沒有差別 反正就是會有01/18 12:31
12F→:而我們討論的關鍵在於古代數學到近代數學的跨越 不要雞同鴨講01/18 12:32
4F推:好慘...01/17 09:12
4F→:完全是雞同鴨講 沒意思了 請網友們自行思考判斷吧 此文不回01/16 23:10
4F→:並不是每個年代都有喔 真的很晚才出現 而且那都是專有名詞了01/16 22:44
1F推:中國數學若繼續發展 遲早也要建立邏輯學01/14 14:06
2F→:但數學能不能繼續發展 關鍵在文明能不能繼續發展 而不是邏輯學01/14 14:07
3F→:簡單來說就是科技樹沒開好 不見得會完蛋 成功了還有機會補上01/14 14:09
5F→:但中國的狀況只能說是科技樹沒開好 而不是沒有開01/14 14:10
6F→:中國很偏計算工具的演算法 這部分還沒到底 所以是遲早不是不能01/14 14:12
8F→:同時代的西方數學有比較好嗎 到十三世紀的西方數學成就是什麼01/14 14:15
9F→:那時除了一千多年前的希臘數學 還有什麼成績?01/14 14:16
11F→:西方數學打了內功基礎卻長時間不練 東方只練外功 也就是這樣01/14 14:18
12F→:明明人都死了還問什麼時間01/14 14:19
15F→:那你要說說看從希臘之後到十三世紀西方有什麼偉大數學成果嗎01/14 14:21
17F→:那些講得出來的通通都是十七世紀以後的01/14 14:24
22F→:明明就是將近兩千年的停滯不前 有段時間有心算能力如同惡魔01/14 14:28
23F→:西方有一大段反科學的時代 應該是歷史常識了01/14 14:31
26F→:我已經回答了 東方文明在宋朝滅亡就跟著完蛋 如何能說什麼時間01/14 14:34
30F→:同時間在代數方面 中國是遠勝西方 在幾何方面也逐漸趕上01/14 14:35
31F→:前面文章早就講過了 請爬文一下01/14 14:36
37F→:高次方程式求解 多元方程式求解 包括公式解 都發展出來了01/14 14:39
39F→:這些東西請自己找資料就有了01/14 14:40
40F→:簡單來說 西方到十六世紀開始處理高次方程 到十七世紀有所成就01/14 14:43
41F→:中國則是從十一世紀開始研究 延續到十四世紀 時間差很明顯01/14 14:44
46F→:那就是學術體系化的威力 就是研究有飯吃的專家跟業餘的不同01/14 14:49
48F→:你整個討論脈絡都不清楚 我不想再講一次01/14 14:52
1F→:這部分議題已淪為無意義的筆戰 我不回應01/14 12:55
1F推:1. 中國一樣有幾何證明01/14 12:51
2F→:2. 邏輯學在17世紀前的西方數學發展上沒有突出作用01/14 12:53
3F→:3. 此後的西方發展已超出過去的人類歷史發展階段 無從比較證明01/14 12:54
9F→:那是希臘 跟近代數學的發展脈絡不能簡單連結01/14 12:59
12F→:重點是有沒有相應的學術根源 有幾何證明就可以了01/14 13:01
13F→:我說的是一個國小成績很好卻去世的同學 若活著也有可能成功01/14 13:02
14F→:對於夭折的文明鞭屍 不是一個很有道理的事情01/14 13:04
15F→:崖山以後無中國 這是東方文明的落幕01/14 13:05