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

 

程式人雜誌是一個結合「開放原始碼與公益捐款活動」的雜誌，簡稱「開放公益雜誌」。開放公益雜誌本著「讀書做善事、寫書做公益」的精神，我們非常歡迎程式人認養專欄、或者捐出您的網誌。

投稿方式

竭誠歡迎程式人投稿，或者成為本雜誌的專欄作家，現在就可以加入 程式人雜誌社團 一同共襄盛舉。

我們最希望的投稿格式是採用 markdown 格式編輯，並將全部檔案壓縮成 zip 之後上傳到社團或寄給編輯。如果無法用 markdown 編輯，任何的稿件只要我們能打開並進行剪貼的，我們都會想辦法編輯後出版。

本雜誌預設用 創作共用：姓名標示、相同方式分享 授權分享，若要採用其他授權方式請於投稿時告知我們。本雜誌編輯為「陳鍾誠 (@ccckmit)」，若要聯絡編輯，請寄信到 ccckmit@gmail.com。

程式人雜誌網頁
http://programmermagazine.github.io/home/

程式人雜誌的臉書社團
https://www.facebook.com/groups/programmerMagazine/

前言
編輯小語
授權聲明
本期焦點
數學短訊：邏輯世界的歷史
布林邏輯與推論系統 -- 何謂嚴格的數學證明？
謂詞邏輯、一階邏輯與「哥德爾完備定理」
從程式人的角度證明「哥德爾不完備定理」
人物速寫
橫跨「數學、哲學、文學」的諾貝爾大師：伯特蘭·羅素 (Bertrand Arthur William Russell)
偉大「數學家」的悲慘人生 -- 圖靈、牛頓、哥德爾
程式人文集
Arduino入門教學(15) – Amarino 的 SensorGraph 範例程式 (作者：Cooper Maa)
OpenNI 2 基本程式範例 (作者： Heresy Ku )
根號求解 (作者：Bridan)
Visual Basic 6.0:大整數運算 加法與乘法 (使用 Array 字串) (作者：廖憲得 0xde)
開放電腦計畫 (9) – 16 位元微控制器 MCU0 的輸出入 -- 輪詢篇 (作者：陳鍾誠)
雜誌訊息
讀者訂閱
投稿須知
參與編輯
公益資訊