作者簡介

吉爾·多維克（Gilles Dowek)

法國數學家、邏輯學家和計算機科學家，法國國家計算機與自動化研究所機器證明處理系統、編程語言、航空系統安全專家，美國國家航空研究院顧問。多維克撰寫過多部數學和計算機科學科普作品，曾榮獲法國數學學會“達朗貝爾獎”和法蘭西學術院哲學大獎。

勞佳

上海交通大學碩士，現任SAP（美國）高級軟件支持顧問。業余愛好語言、數學、設計，翻譯著作有《咨詢的奧秘》《卓越程序員密碼》《周末讀完英國史》等。