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.

ジャンル

哲学 自然
棚に追加

この本を評価する


ブックジャーナルをエクスポート