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