Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will i...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Lupacchini, Rossella (Editor), Corsi, Giovanna (Editor)
Format: Electronic eBook
Language:English
Published: Milano : Springer Milan, 2008.
Subjects:
Philosophy.
Logic.
Philosophy of nature.
Computers.
Mathematics.
Mathematical logic.
Philosophy, general.
Mathematics, general.
Philosophy of Nature.
Theory of Computation.
Mathematical Logic and Foundations.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items