Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
The Resource Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource)
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource)
Resource Information
The item Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 Summary
 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 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
 Language

 eng
 eng
 Edition
 1st ed. 2008.
 Extent
 1 online resource (287 p.)
 Note
 Description based upon print version of record
 Contents

 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 ProofSearch
 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
 Isbn
 9786611795238
 Label
 Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
 Title
 Deduction, Computation, Experiment
 Title remainder
 Exploring the Effectiveness of Proof
 Statement of responsibility
 edited by Rossella Lupacchini, Giovanna Corsi
 Language

 eng
 eng
 Summary
 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 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
 Dewey number

 121.65
 511.3
 http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt

 MCORN2Cv9YQ
 hAZeItNFq_c
 Language note
 English
 LC call number
 BC1199
 Literary form
 non fiction
 Nature of contents
 dictionaries
 http://library.link/vocab/relatedWorkOrContributorName

 Lupacchini, Rossella.
 Corsi, Giovanna.
 http://library.link/vocab/subjectName

 Logic
 Philosophy (General)
 Mathematics
 Philosophy of nature
 Information theory
 Logic, Symbolic and mathematical
 Logic
 Philosophy, general
 Mathematics, general
 Philosophy of Nature
 Theory of Computation
 Mathematical Logic and Foundations
 Label
 Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource)
 Note
 Description based upon print version of record
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Content category
 text
 Content type code

 txt
 Contents
 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 ProofSearch  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
 Dimensions
 unknown
 Edition
 1st ed. 2008.
 Extent
 1 online resource (287 p.)
 Form of item
 online
 Isbn
 9786611795238
 Media category
 computer
 Media type code

 c
 Other control number
 10.1007/9788847007840
 Specific material designation
 remote
 System control number

 (CKB)1000000000492810
 (EBL)364108
 (OCoLC)288524368
 (SSID)ssj0000336554
 (PQKBManifestationID)11234065
 (PQKBTitleCode)TC0000336554
 (PQKBWorkID)10279170
 (PQKB)10436149
 (DEHe213)9788847007840
 (MiAaPQ)EBC364108
 (EXLCZ)991000000000492810
 Label
 Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource)
 Note
 Description based upon print version of record
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Content category
 text
 Content type code

 txt
 Contents
 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 ProofSearch  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
 Dimensions
 unknown
 Edition
 1st ed. 2008.
 Extent
 1 online resource (287 p.)
 Form of item
 online
 Isbn
 9786611795238
 Media category
 computer
 Media type code

 c
 Other control number
 10.1007/9788847007840
 Specific material designation
 remote
 System control number

 (CKB)1000000000492810
 (EBL)364108
 (OCoLC)288524368
 (SSID)ssj0000336554
 (PQKBManifestationID)11234065
 (PQKBTitleCode)TC0000336554
 (PQKBWorkID)10279170
 (PQKB)10436149
 (DEHe213)9788847007840
 (MiAaPQ)EBC364108
 (EXLCZ)991000000000492810
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/DeductionComputationExperimentExploring/R0BRFx_mkMc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/DeductionComputationExperimentExploring/R0BRFx_mkMc/">Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/DeductionComputationExperimentExploring/R0BRFx_mkMc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/DeductionComputationExperimentExploring/R0BRFx_mkMc/">Deduction, Computation, Experiment : Exploring the Effectiveness of Proof, edited by Rossella Lupacchini, Giovanna Corsi, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>