概念的突破_風聞
code2Real-有人就有江湖,有code就有bug2022-03-30 10:53
曾經聽過清華大學魏宏森的課,魏老師在談到科學歷史時,提到:概念的突破是科學創新的前提。
於是我問了一句,什麼是概念?
魏老師答不上來。
怪不得魯迅説,人生識字糊塗始,對於我們平常司空見慣的術語,其實我們一無所知。
然後,魏老師介紹宇宙大爆炸理論。
我又問,既然宇宙能大爆炸,那麼宇宙之外是什麼?為什麼宇宙有大爆炸的空間?
這些問題,魏老師更答不上來了。
如果度娘,那麼基本上是玩文字遊戲,絕對不會用我們熟悉的詞彙解釋什麼是“概念”。
例如:百度百科:概念(Idea;Notion;Concept)是人類在認識過程中,從感性認識上升到理性認識,把所感知的事物的共同本質特點抽象出來,加以概括,是自我認知意識的一種表達,形成概念式思維慣性。在人類所認知的思維體系中最基本的構築單位。
《形式邏輯》説:概念是反映事物的特有屬性(固有屬性或本質屬性)的思維形態。
這些解釋非常無力,因為我們還需要理解什麼是“認識”、“思維形態”等更復雜的概念或術語。
直到我讀到《編程原本》才發現,這本書真是好,它把許多術語用我們碼農能理解的話講明白:
“如果一個過程使用了一個類型,它就會信賴於該類型的語法、語義,還有其計算基的複雜性。在語法上,它依賴於一些確定的文字量和一些具有特定名字和簽名的過程的存在;其語義依賴於基過程的語義;其複雜性依賴於基過程的時間和空間複雜性。如果用另一個具有同樣性質的類型取代這個類型,程序將仍然是正確的,如果不是基於具體的類型,而是基於對類型的一些要求(通過語法和語義性質描述)來設計軟件部件,例如設計庫過程或數據結構,一定能提高它們的可用性。我們將這樣的一組要求稱為一個概念。類型表示類別,而概念表示類屬。要描述概念,就需要有一些處理類型的機制,包括類型屬性、類型函數和類型構造符。”
説到底,概念是一組要求,基於這一組要求,使程序設計與運行保護正確性。
我們之所以對概念感到難以描述,是因為我們不知道如何構造相應的處理機制。
對於小孩而言,只要讓它見過幾個例子後,它就能形成關於“車”的概念。
實際上,就是建立一個關於“車”的類型屬性、類型函數(處理)和類型構造符(擴展)的處理機制。
而大數據和深度學習其實並不能建立這樣的機制,深度學習可以高效篩選出接近正確的結果,但是難以形成概念。
沒有概念,就難以無中生有地創造新的東西,就難以舉一反三。
概念就象一盞燈,照亮了我們能看到的世界。
我們習慣了在燈下尋找解決方案,不可能到黑暗的地方尋找。
喬布斯説,我們從不做調研,因為用户並不知道自己真正需要什麼。
説到馬車,用户只能想像更快的馬車,絕對想不出汽車這個概念。
概念的突破意味類型、處理(函數)和演繹(擴展)機制的變化。
為什麼近代西方科學發展迅速,一個重要的原因是,
西方是表音文字,這種文字會隨着發音的變化而變化,加上西方人特有的朗讀困難症,所以西方每隔幾十年就需要重新發明術語、概念。
因此,讀西方的書,會發現他們玩概念非常嫺熟,而我們必須沿襲幾千年以來的文化、思想約束。
西方可以幾十年前宣傳市場經濟、善惡、效率、契約精神,但是現在會重新定義市場經濟、善惡、效率、契約精神,反正怎麼有利於他們當下,他們就怎麼解釋,至於以前的承諾,以後的事情,都不需要考慮。
而我們中國人好象就不能這樣做,也沒有這麼做的意識。
所以東西方交流純屬雞同鴨講。
當年鳩山與中國友好,簽下一大堆協議,鳩山回國後被美國換下來了,換上對華不友好的首相,但是我們還要執行與鳩山簽下的協議,至少我感覺有點作繭自縛,而西方不會受此影響,他們可以隨意解釋。