Item description for Deduction, Computation, Experiment: Exploring the Effectiveness of Proof by Rossella Lupacchini...
In line with Hilbert's broad philosophical perspective, this work is located at the crossroad of logic, mathematics, computer science, natural sciences and philosophy and investigates the crucial role of proof. Though Gdel, Church and Turing, in different ways, achieved a deep understanding of the notion of effective calculability involved in the nature of proving, Eugene Wigner referred to the "unreasonable" effectiveness of mathematics in the natural sciences. Where should the boundary be traced between mathematical procedures and natural processes? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What do natural sciences tell us about the effectiveness of proof? In short, what is a proof for?
The essays collected in this volume address such questions from different points of view to interest students and scholars in several branches of scientific knowledge. Some of them deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, others use significant results from natural sciences to elaborate the character of applicable mathematical procedures. Focusing on relevant conceptual and logical issues underlying the catholic quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Release Date Aug 1, 2008
ISBN 8847007836 ISBN13 9788847007833
Availability 69 units. Availability accurate as of Oct 24, 2016 06:56.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.