| 书目名称 | Truth, Proof and Infinity | | 副标题 | A Theory of Construc | | 编辑 | Peter Fletcher | | 视频video | | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | Constructive mathematics is based on the thesis that themeaning of a mathematical formula is given, not by itstruth-conditions, but in terms of what constructions count as a proofof it. However, the meaning of the terms `construction‘ and `proof‘has never been adequately explained (although Kriesel, Goodman andMartin-Löf have attempted axiomatisations). This monographdevelops precise (though not wholly formal) definitions ofconstruction and proof, and describes the algorithmic substructureunderlying intuitionistic logic. Interpretations of Heyting arithmeticand constructive analysis are given. .The philosophical basis of constructivism is explored thoroughly inPart I. The author seeks to answer objections from platonists and toreconcile his position with the central insights of Hilbert‘sformalism and logic. ..Audience:. Philosophers of mathematics and logicians, bothacademic and graduate students, particularly those interested inBrouwer and Hilbert; theoretical computer scientists interested in thefoundations of functional programming languages and programcorrectness calculi. | | 出版日期 | Book 1998 | | 关键词 | Arithmetic; algorithms; constructivism; logic; programming language; proof; sequent calculus; set theory | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-017-3616-9 | | isbn_softcover | 978-90-481-5105-9 | | isbn_ebook | 978-94-017-3616-9Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Springer Science+Business Media B.V. 1998 |
The information of publication is updating
书目名称Truth, Proof and Infinity影响因子(影响力)
书目名称Truth, Proof and Infinity影响因子(影响力)学科排名
书目名称Truth, Proof and Infinity网络公开度
书目名称Truth, Proof and Infinity网络公开度学科排名
书目名称Truth, Proof and Infinity被引频次
书目名称Truth, Proof and Infinity被引频次学科排名
书目名称Truth, Proof and Infinity年度引用
书目名称Truth, Proof and Infinity年度引用学科排名
书目名称Truth, Proof and Infinity读者反馈
书目名称Truth, Proof and Infinity读者反馈学科排名
|
|
|
发表于 2025-3-21 19:54:27
