Abstract Proofs
alternative proof methods
Arithmetical Justification
Arithmetical Truth
Canonical Proof
Category=QDTL
Classical Logic
deductive reasoning
Deductive Structure
Elimination Rule
epistemology of mathematics
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Finitary Generalizations
Finitary Propositions
Finitistic Proof
Formal Logical Laws
Formal Logical Rules
foundations of mathematical reasoning
Hilbert's Program
hilberts
Hilbert’s Program
incompleteness
Incompleteness Theorem
induction
Inductive Definitions
Infinite Conjunctions
introduction
Introduction Rule
mathematical argumentation
mathematical justification
natural
Natural Number
Nonclassical Logics
numbers
Peano Arithmetic
philosophy of mathematics
Primitive Recursive
program
Proof Equivalence
Real Propositions
rule
Syntactic Reading
theorem
transfinite
Transfinite Induction
Product details
- ISBN 9781138009073
- Weight: 470g
- Dimensions: 138 x 216mm
- Publication Date: 08 May 2015
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
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.
Michael Detlefsen (Edited by)
