圖靈機與編程語言

年前看了一本科普書籍–《人工智能簡史》，做者尼克，早年任職哈佛和惠普，後投資創業。web 這本書描述了兩大人工智能的發展方向，一派主張擬生物大腦（譬如人工神經網絡），另外一派則主張用邏輯和符號系統（譬如自動定理證實）。真正偉大的飛躍以1937年圖靈關於可計算數的開創性論文開始，奠基了計算機發展的基礎。算法 圖靈機是這樣一種裝置：有一條無限長的紙帶，紙帶上有無窮多個格子；一個能夠移動的讀寫頭，每次可

>>阅读原文<<