Proof, Logic and Formalization

Proof, Logic and Formalization

尚無評分
May 29, 2015 · 英語 · 平裝書 (252 頁數)
加入書架

評價這本書


出口書籍日誌

書籍詳情

格式 平裝書
頁數 252
語言 英語
已出版 May 29, 2015
出版商 Routledge
ISBN-10 1138009075
ISBN-13 9781138009073

描述

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

類型

哲學 自然
加入書架

評價這本書


出口書籍日誌