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.

장르들

철학 자연
서가에 추가

이 책 평가하기


도서 일지 내보내기