Deduction, Computation, Experiment

Exploring the Effectiveness of Proof

Häftad, Engelska, 2008

1 068 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2008-07-30
Mått:155 x 235 x 16 mm
Vikt:446 g
Format:Häftad
Språk:Engelska
Antal sidor:280
Förlag:Springer Verlag
ISBN:9788847007833

Utforska kategorier

Innehållsförteckning

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.