Deduction, Computation, Experiment

Exploring the Effectiveness of Proof

Häftad, Engelska, 2008

1 769 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic, natural science and philosophy. Re?ection on the e?ectiveness of proof brings out a number of questions that have always been latent in the informal understanding of the subject.

Produktinformation

Utgivningsdatum2008-07-30
Mått155 x 235 x 16 mm
Vikt446 g
FormatHäftad
SpråkEngelska
Antal sidor280
FörlagSpringer Verlag
ISBN9788847007833

Tillhör följande kategorier

Why Proof? What is a Proof?.- On Formal Proofs.- Toy Models in Physics and the Reasonable Effectiveness of Mathematics.- Experimental Methods in Proofs.- Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis.- The Logic of the Weak Excluded Middle: A Case Study of Proof-Search.- Automated Search for Gödel’s Proofs.- Proofs as Efficient Programs.- Quantum Combing.- Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside.- Proof as a Path of Light.- Computability and Incomputability of Differential Equations.- Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics.