作者freeunixer (離自相空她相)
看板Gossiping
標題Re: [問卦] 有21世紀七大數學難題的八卦嗎?o'_'o
時間Sun Jun 5 04:00:20 2016
※ 引述《protess (大主教重返農藥)》之銘言:
: ※ 引述《Sunny821210 (鮮榨萊姆juice)》之銘言:
: : 本肥宅剛才不知道為什麼
: : 上網看東西連一連看到這七大難題:
: : 1.P/NP問題
: 幹
: 剛好看到有人問P/NP的卦
: 然後一樓就說
: P可以約掉吧 P可以約掉吧 P可以約掉吧
: 然後我脖子就更嚴重了,QQ
我的免費 Python 課程第二梯剛教完簡單遞迴,
今晚天氣太熱,沒勁幹亂七八糟的事,就來瞎扯吧.
二十世紀初,有個歐陸知名的數學及邏輯家,提出了呼籲,要解決他心中的問題,
這個問題是有幾個,其中包括,
能否在同時代的義大利數學、邏輯學家皮亞諾所建立的自然數公理系統中,
證明任何不定方程式命題皆為真(相容、無矛盾、有解)?
然後,有個人,提出了反證,證明
只要是皮氏自然數系統中的任何相容的形式推理證明系統,就能在其中創造有矛盾問題,
且這個系統無法證明自己不會產生矛盾,必須由其它系統證明
這讓他期待落空,也讓羅素那票邏輯派數學家搞了十幾年的數學終極邏輯化大業徹底破功,
這就是二十世紀舉世三大重要數理定律其中之一
哥德爾不完備定理,也就是遞迴理論的由來
然後有一個人,在這個定理上推出了一個東西,
用這個東西來定義什麼叫做可使用演算法進行(機械化)計算的函式,這就是
丘奇 Lambda 演算式,也就是 AI / Lisp Lambda 的由來
而有一個人,跟丘奇差不多時間,想出另外一個方法,這個方法是去想,什麼是可計算?
他定義有一台機器,可以直接算直觀可算的數,也可以算很多數,
然後證明它無法證明題目成不成立(有無解).
他就這樣無視丘奇,以另一種方式破解希爾伯特的問題,這就是
圖靈的 Turing Machine 的由來
但是對板上十萬理盲濫情光嘴炮的酸民來說,哥德爾、丘奇接近神喻的方法太難被理解,
然後圖靈又替他的圖靈機開外掛,透過另一個週邊可以讓圖靈機 call out 求救問答案,
所以後來,有人直接選擇圖靈機,用來區分須不須開外掛問題的計算難度,這就是
計算複雜度理論的由來
而研究這門理論之中,有個問題,這個問題在想,如果
左邊的問題可由特定型態的 Turing Machine 在多項式時間內快速證明能解,
右邊的問題只能透過非特定型態的 Turing Machine 去驗證答案是否正確,那,
到底有沒有方法能解掉右邊的任何一個問題,把右邊問題全部消滅成左邊問題?這就是
P=NP? 的由來
我曾經要找人來對我的學員做專題演講,
Recursion & Lambda 於程式的意義
他跟我說,沒有拿到博士的,聽不懂它們是在搞什麼...
我就只好算了...
幹拎老師,打了快兩個小時,還打到軟體掛掉,天還不下雨,心情越來越糟,不想再講了...
話說,講 Recursion & Lambda,文組、沒拿博士的聽不懂,那我找什麼題目來呼嚨他們好?
--
→ shaddock1996: 怎編輯成這樣 06/05 04:12
推 gn01277571: 嗯嗯,我也這樣覺得 06/05 04:13
→ cyhb990671: 沒錯 06/05 04:13
推 Papee: 是起邱演算式齁o'_'o 06/05 04:35
※ 編輯: freeunixer (60.250.90.238), 06/05/2016 05:55:43
推 ms0604203: 阿鬼抱歉...我真的看不是很懂 06/05 08:00
推 gaduoray: 跟我想的差不多 06/05 08:21
推 donation12: 可不可以請你在版上多發文,提昇版上學術風氣? 06/05 08:32
推 david190: 遞歸本來就是數邏中最難的部分 06/05 14:05
→ david190: 不過至少實數系統是完備的 人類還是有救的 06/05 14:07
→ OGC218: 我覺得Z>B,這題超難的 06/05 15:51