| 書目名稱 | Truth, Proof and Infinity | | 副標(biāo)題 | A Theory of Construc | | 編輯 | Peter Fletcher | | 視頻video | http://file.papertrans.cn/931/930653/930653.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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影響因子(影響力)學(xué)科排名
書目名稱Truth, Proof and Infinity網(wǎng)絡(luò)公開度
書目名稱Truth, Proof and Infinity網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Truth, Proof and Infinity被引頻次
書目名稱Truth, Proof and Infinity被引頻次學(xué)科排名
書目名稱Truth, Proof and Infinity年度引用
書目名稱Truth, Proof and Infinity年度引用學(xué)科排名
書目名稱Truth, Proof and Infinity讀者反饋
書目名稱Truth, Proof and Infinity讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 03:34
發(fā)表于 2025-3-21 19:54:27
