設萬維讀者為首頁 廣告服務 技術服務 聯繫我們 關於萬維
簡體 繁體 手機版
分類廣告
版主:諍友
萬維讀者網 > 教育學術 > 跟帖
演繹邏輯。。。。
送交者: 括號 2021月03月20日23:45:08 於 [教育學術] 發送悄悄話
回  答: 再談範例的四種關係(Instancology)(11)中國現代哲學家學會 於 2021-03-20 06:29:19

70年前的計算機程序就能證明羅素和懷特海特《數學原理》一書中的50多條定理,邏輯演繹能力比很多理工科大學生都強。可惜這種計算機的*思想*,不用說不如人類的小學生,甚至還不如某些動物(比如大象和烏鴉)。


0%(0)
0%(0)
標  題 (必選項):
內  容 (選填項):
實用資訊
回國機票$360起 | 商務艙省$200 | 全球最佳航空公司出爐:海航獲五星
海外華人福利!在線看陳建斌《三叉戟》熱血歸回 豪情築夢 高清免費看 無地區限制
一周點擊熱帖 更多>>
一周回復熱帖
歷史上的今天:回復熱帖
2020: Boomer remover,很好笑嗎?
2019: 628、觀音大士,苦海渡迷津 源自 youtu
2019: 經濟的兩重性
2018: “霍金現象”的三思
2018: 論剩餘價值學說的錯謬
2017: 中軍:真愛國者為何易被抹黑
2017: 美國都成了穆斯林及黑人國家,我為什麼
2016: 淺談蒙特卡洛樹搜索(MCTS)
2016: 英雄凱旋