作 者:(法)吉尔·多维克(Gilles Dowek) 著;劳佳 译
定 价:39
出 版 社:人民邮电出版社
出版日期:2017年02月01日
页 数:216
装 帧:平装
ISBN:9787115447579
●篇古老的起源
●章从史前数学到希腊数学2
●第2章计算两千年17
●第二篇古典时代
●第3章谓词逻辑36
●第4章判定性问题与丘奇定理56
●第5章丘奇论题73
●第6章为计算树立数学地位的尝试——λ演算94
●第7章构造性100
●第8章构造性证明与算法113
●第三篇公理化危机
●第9章直觉主义类型论122
●0章自动化证明132
●1章证明检验145
●2章学界新进展153
●3章工具172
●4章公理的终结?187
●结语旅程的尾声190
●附录一人物简介193
●附录二参考文献208
●部分目录
由法国吉尔·多维所著、劳佳翻译的《计算进化史(改变数学的命运)》一书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
(法)吉尔·多维克(Gilles Dowek) 著;劳佳 译
吉尔·多维,法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
劳佳,硕士毕业于上海交通大学,现在SAP美国任不错软件支持顾问。业余爱好语言、数学、设计,近年翻译出版了《咨询的奥秘》《很好程序员密码》《周末读完英国史》等翻译著作。