跳到主要內容

書籍推薦: 笛卡兒 拜拜

書籍推薦: 笛卡兒 拜拜

適合閱讀: 程式開發人員


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

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

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

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


引言: 數學研究推動中心

留言

這個網誌中的熱門文章

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 作業系統

NLB Operation Mode / Modes of Bonding

mode=1 (active-backup) Active-backup policy: Only one slave in the bond is active. A different slave becomes active if, and only if, the active slave fails. The bond's MAC address is externally visible on only one port (network adapter) to avoid confusing the switch. This mode provides fault tolerance. The primary option affects the behavior of this mode. mode=2 (balance-xor) XOR policy: Transmit based on [(source MAC address XOR'd with destination MAC address) modulo slave count]. This selects the same slave for each destination MAC address. This mode provides load balancing and fault tolerance. mode=3 (broadcast) Broadcast policy: transmits everything on all slave interfaces. This mode provides fault tolerance. mode=4 (802.3ad) IEEE 802.3ad Dynamic link aggregation. Creates aggregation groups that share the same speed and duplex settings. Utilizes all slaves in the active aggregator according to the 802.3ad specification. Prerequisites: Ethtool support in the base drivers fo...

Automatic Building Process: 建置 Windows CE 6.0 Images

對於常常需要改變各種 Windows CE Image設定並且需要重新編譯Image的人來說,透過Visual Studio的GUI操作介面來說變成是一種負擔,互動式介面造成必須等候每一步驟的完成後才能繼續進行下一步 因此自動化編譯的需求便是這種情形下最適當不過的一種操作方式 自動化編譯是透過命令模式(command Prompt)來完成,但是命令模式並非一般的Command Prompt,必須要 事先將所有的Windows CE Environment Variables 設定完成後才能進行編譯,因此可以透過下列方式將編譯所需的環境變數轉換成一個批次檔後便可以進行自動化編譯的任務 1.使用 PBXMLUtils.exe 將Windows CE環境變數提取轉存 批次設定檔 首先,先在Visual Studio 2005工具內開啟Windows CE外掛的build選單下的Open Build Release Windows 在此命令模式下執行: c:>"c:\program files\Microsoft Platform Builder\6.00\cepb\IdeVS\Pbxmlutils.exe" /getbuildenv > SetupCEEvn.bat 便可將 Windows CE Building Command Prompt內的環境變數轉存到 SetupCEEnv.bat 批次檔內 2. 測試自動化編譯程序 首先,開啟一般的Windows Command Prompt命令模式,並執行 SetupCEEnv.bat批次檔後,再使用 set命令檢視Win CE Building Environment Variables是否設定成功 接下來便可以使用 blddemo -q 測試編譯 Windows CE 6.0 Image了