吉尔·多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...
评分第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...
评分第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...
评分第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...
评分第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...
有些和SICP类似的观点,基本上是在讲算法和推理的纠缠。看完了还是不懂lambda和图灵机。
评分主要想讨论的是计算对证明的重要性。对“证明”这一概念的梳理比较清楚,尤其谓词逻辑和判定性问题的章节,提纲挈领,对理解语言哲学也有帮助。
评分太难看懂了。。。
评分很好的科普,浅出
评分证明包括公理、演绎规则和计算规则。计算机这个工具对数学来说越来越重要了,或者说计算机是一种越来越重要的工具,需要从娃娃抓起。本书不理解的地方多。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有