作者简介

吉尔·多维克（Gilles Dowek)

法国数学家、逻辑学家和计算机科学家，法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家，美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品，曾荣获法国数学学会“达朗贝尔奖”和法兰西学术院哲学大奖。

劳佳

上海交通大学硕士，现任SAP（美国）高级软件支持顾问。业余爱好语言、数学、设计，翻译著作有《咨询的奧秘》《卓越程序员密码》《周末读完英国史》等。