跳到主要內容

書籍推薦: 笛卡兒 拜拜

書籍推薦: 笛卡兒 拜拜

適合閱讀: 程式開發人員


這本《笛卡兒,拜拜!》裡,德福林花了開頭三分之一的篇幅綜觀了邏輯的發展歷史。這部分是一般邏輯教科書裡不會著墨的題材,而德福林把它表達得十分容易理解,尤其一些令人感覺困擾的邏輯基本概念,例如條件句與實質蘊涵的來歷,都有極具啟發性的交代。在學校裡上邏輯、理則學或任何思想方法課程的學生,都應看看本書提供的歷史背景,一定會讓你體會到那些看似枯燥無味的邏輯規律的深刻意義,以及它們存在的理由。

  本書中間的三分之一,德福林介紹了喬姆斯基的笛卡兒式語言學,也就是把數理邏輯手法搬到語言學的革命性成就。以及在這種氛圍與進路下,人工智能研究的一些成果與遭遇的障礙。本書對語言學的學生,會有增加瞭解喬姆斯基理論背景與來歷的功效。至於研究人工智能的學生,也會從這類檢討中發現有些構想無法完全落實的根源,恐怕不是純粹技術的問題,而是涉及深刻的方法論的立場。

  德福林在本書的最後三分之一,逐漸導入了脈絡對於理解人類心智活動的重要性,他介紹了與喬姆斯基語言學旨趣相異的社會語言學,強調了溝通所應扮演的角色。他也用了一些篇幅介紹「情境邏輯」的最基本觀點,普通這種程度的書籍裡幾乎不會包含這麼前沿的內容。

  在最後一章裡,作者總結檢討了笛卡兒理性方法的限制,而終於說出了「笛卡兒,拜拜!」。這種新的領悟是在一個高的、綜觀全局的層次,並不是說在每一個細節上,暫時脫離脈絡的作法都要揚棄。事實上在適當的範圍,在一定的侷限裡,傳統的邏輯仍然是可靠有效的工具,我們切莫在倒洗澡水時,把盆裡的嬰兒一起倒掉了


引言: 數學研究推動中心

留言

這個網誌中的熱門文章

Window CE BootLoader for x86 ( MS-DOS )

CEPC X86採用了幾種開機方式,其中一種運用MS-DOS當成Booting OS 利用 Windows CE Platform builder所提供的 Image disk 製作一片 1.44M的開機片,內有提供 LoadCepc.exe命令作為 CE Boot Loader 不過首先得先將磁片的開機檔案移植到嵌入式設備的CF / FLASH / DISK 上 以下提供傳統的MS-DOS開機系統製作方式供學員參考 : 使用MS-DOS開機片開機後, 透過 Fdisk.exe與 Format.com 工具製作 Windows CE Boot Loader 過程如下 圖一: MS-DOS開機 圖2: 開機後,載入 Fdisk執行 Partition切割工作 圖3: 選擇第一項,建立 Partition 圖4: 選擇第一項,建立 DOS Partition 圖5: 詢問是否全部切割成單一PARTITION,若CF過大可回答 N 自行切割大小 圖6: 輸入欲切割的Partition大小 圖7:切割後,按一下鍵盤的 esc鍵回到檢視畫面,就可看到所切割的Partition大小 圖8: esc回到主選單後,在選擇 [2] 設定啟動磁區 圖9: 選擇欲啟動作業系統的Partition 圖10: 選擇後應該會看到 Partition清單上的 Status欄位出現 A 字元 圖11: 切割後 重新啟動系統 圖12: 格式化所切割的新磁區 圖13: 格式化完成後 便可將 Platform Builder所製作的 Windows CE Bootloader磁片內容複製到C:內 重新開機後,進入c:> 輸入 C:>Loadcepc /L:800x600x16 nk.bin 便可載入nk.bin到記憶體 並且以800x600的解析度執行 windows ce 作業系統

Windows CE 必備工具--DiskPrep

Windows CE image 建置完畢欲部署到裝置上執行之前,前置工作就是提供一個可開機的環境讓nk.bin能順利載入,Windows ce device上面 無論是使用 Hard Disk , USB Flash , CF 任何bootable storage都能透過 DiskPrep.exe 工具在 Storage Devices上面製作 Biosloader 提供 image 安裝與執行的能力 載點如下 http://archive.msdn.microsoft.com/DiskPrep

Windows Embedded Compact 7 特色

WEC 7 相較於 Windows Embedded CE 6的功能特色增加如下: 1. 支援 Multicore-Processor 2. 支援最多3GB實體記憶體 (  CE 6.0 支援實體記憶體為 512MB ) 3. 支援 DLNA(Digital Living Network Alliance) 4. 採用 silverlight 作為UI介面整合設計,提供較佳的介面設計環境 5. 提供更好的 觸控與手勢操作判別功能 6. 提供新版 Microsoft Office元件以及PDF瀏覽元件 7. 內建 Flash 10.1 轉譯元件( 無須額外授權費用 ) 8. 支援 MTP 9. 新版 IE for embedded ( 以 IE7為基礎,加上IE8 強化效能特徵) 10.提供強化版的 遠端除錯工具,讓開發時期的除錯更容易使用 11.提供 Windows Embedded Compact test kit 取代 6.0時期的 CETK工具 以上簡單列出 WEC 7.0 相較於 CE 6 的新特色供參考