程式人（2014年3月）-所有劃線

程式人（2014年3月）

邏輯，這是程式的根本，不過你知道近代最重要的邏輯定理的來龍去脈嗎？「哥德爾不完備定理」，久仰久仰，可是這東東到底在講什麼啊？請讀本期程式人！專題還有談到布林邏輯與推論系統，有深度也有廣度。人物速寫也跟邏輯大有牽連：橫跨數學與語言哲學的羅素，奠定計算機科學的圖靈。程式人文集也一如往常地等你喔！