Re: [問卦] AI到底是什麼東西R已回收
AI是外星黑科技~計算機科學除了極少的比例以外,都是實驗科學,其實科學上,
驗證一件事情的最強形式就是「定理證明」,這是只有集合論本身錯誤才會錯的東
西,基本上可以假設不會錯啦,反正要是定理證明會錯,就不必談科學了。
但為什麼AI的研究基本上是純粹的實驗科學、而不有意義地含有定理證明呢?事實
上不只AI,整個計算機科學幾乎都是這樣~~~這是因為人類的數學還太弱啊!
而AI身為目前無法用數學碰觸的東西,其實是一件好事,因為這表示這東西潛力無
窮,就跟煉金術一樣,什麼都有可能發生,也什麼都有可能不發生,基本上沒辦法
知道,只能不斷試誤。
以上講法在資工系算是政治不正確的,因為多數人覺得煉金術很丟臉,但其實這正
是探索未知,一點都不丟臉。
當然啦,我知道計算機科學中有所謂理論計算機科學(theoretical computer
science,簡稱TCS),這是數學的一支沒錯,但TCS在資工系畢竟是小小小小小小小
領域,其師資甚至幾乎可以被當作資工系的「跨領域」師資。
※ 引述《wayne64001 (哥,閉嘴啦)》之銘言:
: 本文組肥宅我看到某市長的政見有AI
: 但什麼是AI阿 市民一半以上都文組欸怎麼可能懂
: 是All In嗎
: 還是Artificial Insemination?
: 還是Allen Iverson
: 到底要引進哪一個AI阿
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.30.49
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1542970357.A.55C.html
推
11/23 18:53,
5年前
, 1F
11/23 18:53, 1F
→
11/23 18:54,
5年前
, 2F
11/23 18:54, 2F
ML確實含有一定程度的嚴格推導,但要做出被人們認為有意義的結果,目前只有
靠實驗一途,數學就幫我們小小的一步而已。
我猜要等像高斯般的天才出現,才能轉變態勢。
噓
11/23 18:56,
5年前
, 3F
11/23 18:56, 3F
→
11/23 18:56,
5年前
, 4F
11/23 18:56, 4F
邏輯本來就是數學的一支,AI把既有的東西借來用,不算是AI領域自創的。
※ 編輯: Hatred (140.112.30.49), 11/23/2018 18:59:13
討論串 (同標題文章)