LEADER 04122nam  22009135  450 
001 9910956629203321
005 20250728144740.0
010   $a1-281-79523-2
010   $a9786611795238
010   $a88-470-0784-4
024 7 $a10.1007/978-88-470-0784-0
035   $a(CKB)1000000000492810
035   $a(EBL)364108
035   $a(OCoLC)288524368
035   $a(SSID)ssj0000336554
035   $a(PQKBManifestationID)11234065
035   $a(PQKBTitleCode)TC0000336554
035   $a(PQKBWorkID)10279170
035   $a(PQKB)10436149
035   $a(DE-He213)978-88-470-0784-0
035   $a(MiAaPQ)EBC364108
035   $a(Au-PeEL)EBL364108
035   $a(CaPaEBR)ebr10252042
035   $a(CaONFJC)MIL179523
035   $a(PPN)129064246
035   $a(EXLCZ)991000000000492810
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aDeduction, Computation, Experiment $eExploring the Effectiveness of Proof /$fedited by Rossella Lupacchini, Giovanna Corsi
205   $a1st ed. 2008.
210  1$aMilano :$cSpringer Milan :$cImprint: Springer,$d2008.
215   $a1 online resource (287 p.)
300   $aDescription based upon print version of record.
311 08$a88-470-0783-6 
320   $aIncludes bibliographical references and index.
327   $aWhy 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.
330   $aWhat 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 interest students and scholars in several branches of scientific knowledge. Some essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.
606   $aLogic
606   $aPhilosophy
606   $aMathematics
606   $aPhilosophy of nature
606   $aComputer science
606   $aLogic, Symbolic and mathematical
606   $aLogic
606   $aPhilosophy
606   $aMathematics
606   $aPhilosophy of Nature
606   $aTheory of Computation
606   $aMathematical Logic and Foundations
615  0$aLogic.
615  0$aPhilosophy.
615  0$aMathematics.
615  0$aPhilosophy of nature.
615  0$aComputer science.
615  0$aLogic, Symbolic and mathematical.
615 14$aLogic.
615 24$aPhilosophy.
615 24$aMathematics.
615 24$aPhilosophy of Nature.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
676   $a121.65
676   $a511.3
686   $a100$2sdnb
686   $a5,1$2ssgn
686   $aCC 3200$2rvk
701   $aCorsi$b Giovanna$052880
701   $aLupacchini$b Rossella$0876297
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910956629203321
996   $aDeduction, Computation, Experiment$94412632
997   $aUNINA