类似推荐
内容简介
《数理逻辑(第2版)》主要内容：What is a mathematical proof？ How can proofs be justified？ Are there limitations to provability？ To what extent can machines carry out mathematical proofs？Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-o...
(展开全部)
作者简介
《数理逻辑(第2版)》主要内容：What is a mathematical proof？ How can proofs be justified？ Are there limitations to provability？ To what extent can machines carry out mathematical proofs？Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is' Godel's completeness theorem， which shows that the consequence relation coincides with formal provability： By means of a calculus consisting of simple formal inference rules， one can obtain all consequences of a given axiom system (and in particular， imitate all mathematical proofs)
数理逻辑是2008年由世界图书出版公司出版,作者艾宾浩斯(EbbinghausH.D.)。
得书感谢您对《数理逻辑》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
