Proof, logic and formalization
著者
書誌事項
Proof, logic and formalization
Routledge, 2015, c1992
- : pbk.
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
"First published 1992 by Routledge"--T.p. verso
"First issued in paperback 2015"--T.p. verso
内容説明・目次
内容説明
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.
目次
Contributors:
David Aeurbach, John P. Burgess, Michael Detlefsen, Glen Helman, Daniel Isaacson, Charles Parsons, Richard Tieszen, David S. Tragesser
「Nielsen BookData」 より