|
Books > Humanities > Philosophy > Topics in philosophy > Logic
|
Buy Now
Concepts of Proof in Mathematics, Philosophy, and Computer Science (Hardcover)
Loot Price: R4,234
Discovery Miles 42 340
|
|
|
Concepts of Proof in Mathematics, Philosophy, and Computer Science (Hardcover)
Series: Ontos Mathematical Logic
Expected to ship within 12 - 19 working days
|
A proof is a successful demonstration that a conclusion necessarily
follows by logical reasoning from axioms which are considered
evident for the given context and agreed upon by the community. It
is this concept that sets mathematics apart from other disciplines
and distinguishes it as the prototype of a deductive science.
Proofs thus are utterly relevant for research, teaching and
communication in mathematics and of particular interest for the
philosophy of mathematics. In computer science, moreover, proofs
have proved to be a rich source for already certified algorithms.
This book provides the reader with a collection of articles
covering relevant current research topics circled around the
concept 'proof'. It tries to give due consideration to the depth
and breadth of the subject by discussing its philosophical and
methodological aspects, addressing foundational issues induced by
Hilbert's Programme and the benefits of the arising formal notions
of proof, without neglecting reasoning in natural language proofs
and applications in computer science such as program extraction.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
