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...
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer Italia
2008
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| 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." -- Book cover. |
| Physical Description: | XII, 279 S. graph. Darst. |
| ISBN: | 9788847007833 8847007836 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV023338700 | ||
| 003 | DE-604 | ||
| 005 | 20091111 | ||
| 007 | t | ||
| 008 | 080611s2008 d||| |||| 00||| eng d | ||
| 015 | |a 07,N49,0084 |2 dnb | ||
| 016 | 7 | |a 986349496 |2 DE-101 | |
| 020 | |a 9788847007833 |c Pb. : ca. EUR 69.50 (freier Pr.), ca. sfr 113.50 (freier Pr.) |9 978-88-470-0783-3 | ||
| 020 | |a 8847007836 |c Pb. : ca. EUR 69.50 (freier Pr.), ca. sfr 113.50 (freier Pr.) |9 88-470-0783-6 | ||
| 024 | 3 | |a 9788847007833 | |
| 028 | 5 | 2 | |a 12202010 |
| 035 | |a (OCoLC)222164642 | ||
| 035 | |a (DE-599)DNB986349496 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 | ||
| 050 | 0 | |a BC173 | |
| 082 | 0 | |a 121.65 |2 22 | |
| 084 | |a CC 3200 |0 (DE-625)17614: |2 rvk | ||
| 084 | |a 100 |2 sdnb | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Deduction, Computation, Experiment |b Exploring the Effectiveness of Proof |c Rossella Lupacchini ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer Italia |c 2008 | |
| 300 | |a XII, 279 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 3 | |a "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." -- Book cover. | |
| 650 | 4 | |a Evidence | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftstheorie |0 (DE-588)4117665-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Bologna |2 gnd-content | |
| 689 | 0 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 1 | 1 | |a Wissenschaftstheorie |0 (DE-588)4117665-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Lupacchini, Rossella |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016522514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016522514 | ||
Record in the Search Index
| _version_ | 1804137690599260160 |
|---|---|
| adam_text | CONTENTS WHY PROOF? WHAT IS A PROOF? CARLO CELLUCCI . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 1 ON FORMAL PROOFS ANDREA CANTINI 29 TOY MODELS IN PHYSICS AND
THE REASONABLE EFFECTIVENESS OF MATHEMATICS ANNALISA MARZUOLI 49
EXPERIMENTAL METHODS IN PROOFS GABRIELE LOLLI 65 PROOFS VERIFYING
PROGRAMS AND PROGRAMS PRODUCING PROOFS: A CONCEPTUAL ANALYSIS DAG
PRAWITZ 81 THE LOGIC OF THE WEAK EXCLUDED MIDDLE: A CASE STUDY OF
PROOF-SEARCH GIOVANNA CORSI. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .. 95 AUTOMATED SEARCH
FOR GOEDEL S PROOFS WILFRIED SIEG, CLINTON FIELD 117 PROOFS AS EFFICIENT
PROGRAMS UGO DAL LAGO, SIMONE MARTINI 141 QUANTUM COMBING MARIO RASETTI
159 PROOFS INSTEAD OF MEANING EXPLANATIONS: UNDERSTANDING CLASSICAL VB
INTUITIONISTIC MATHEMATICS FROM THE OUTSIDE DAG WESTERSTAHL 175 X
CONTENTS PROOF AS A PATH OF LIGHT ROSSELLA LUPACCHINI 195 COMPUTABILITY
AND INCOMPUTABILITY OF DIFFERENTIAL EQUATIONS GUIDO GHERARDI 223
PHENOMENOLOGY OF INCOMPLETENESS: FROM FORMAL DEDUCTIONS TO MATHEMATICS
AND PHYSICS FRANCIS BAILLY AND GIUSEPPE LONGO 243 INDEX 273
|
| adam_txt |
CONTENTS WHY PROOF? WHAT IS A PROOF? CARLO CELLUCCI . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 1 ON FORMAL PROOFS ANDREA CANTINI 29 TOY MODELS IN PHYSICS AND
THE REASONABLE EFFECTIVENESS OF MATHEMATICS ANNALISA MARZUOLI 49
EXPERIMENTAL METHODS IN PROOFS GABRIELE LOLLI 65 PROOFS VERIFYING
PROGRAMS AND PROGRAMS PRODUCING PROOFS: A CONCEPTUAL ANALYSIS DAG
PRAWITZ 81 THE LOGIC OF THE WEAK EXCLUDED MIDDLE: A CASE STUDY OF
PROOF-SEARCH GIOVANNA CORSI. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 95 AUTOMATED SEARCH
FOR GOEDEL'S PROOFS WILFRIED SIEG, CLINTON FIELD 117 PROOFS AS EFFICIENT
PROGRAMS UGO DAL LAGO, SIMONE MARTINI 141 QUANTUM COMBING MARIO RASETTI
159 PROOFS INSTEAD OF MEANING EXPLANATIONS: UNDERSTANDING CLASSICAL VB
INTUITIONISTIC MATHEMATICS FROM THE OUTSIDE DAG WESTERSTAHL 175 X
CONTENTS PROOF AS A PATH OF LIGHT ROSSELLA LUPACCHINI 195 COMPUTABILITY
AND INCOMPUTABILITY OF DIFFERENTIAL EQUATIONS GUIDO GHERARDI 223
PHENOMENOLOGY OF INCOMPLETENESS: FROM FORMAL DEDUCTIONS TO MATHEMATICS
AND PHYSICS FRANCIS BAILLY AND GIUSEPPE LONGO 243 INDEX 273 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV023338700 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC173 |
| callnumber-raw | BC173 |
| callnumber-search | BC173 |
| callnumber-sort | BC 3173 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 3200 |
| ctrlnum | (OCoLC)222164642 (DE-599)DNB986349496 |
| dewey-full | 121.65 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 121 - Epistemology (Theory of knowledge) |
| dewey-raw | 121.65 |
| dewey-search | 121.65 |
| dewey-sort | 3121.65 |
| dewey-tens | 120 - Epistemology, causation, humankind |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02845nam a2200529 c 4500</leader><controlfield tag="001">BV023338700</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091111 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080611s2008 d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N49,0084</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">986349496</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788847007833</subfield><subfield code="c">Pb. : ca. EUR 69.50 (freier Pr.), ca. sfr 113.50 (freier Pr.)</subfield><subfield code="9">978-88-470-0783-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8847007836</subfield><subfield code="c">Pb. : ca. EUR 69.50 (freier Pr.), ca. sfr 113.50 (freier Pr.)</subfield><subfield code="9">88-470-0783-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9788847007833</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12202010</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)222164642</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB986349496</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC173</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">121.65</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3200</subfield><subfield code="0">(DE-625)17614:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deduction, Computation, Experiment</subfield><subfield code="b">Exploring the Effectiveness of Proof</subfield><subfield code="c">Rossella Lupacchini ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer Italia</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 279 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"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." -- Book cover.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Evidence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftstheorie</subfield><subfield code="0">(DE-588)4117665-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Bologna</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Wissenschaftstheorie</subfield><subfield code="0">(DE-588)4117665-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lupacchini, Rossella</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016522514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016522514</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2007 Bologna gnd-content |
| genre_facet | Konferenzschrift 2007 Bologna |
| id | DE-604.BV023338700 |
| illustrated | Illustrated |
| index_date | 2024-07-02T21:00:47Z |
| indexdate | 2024-07-09T21:16:18Z |
| institution | BVB |
| isbn | 9788847007833 8847007836 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016522514 |
| oclc_num | 222164642 |
| open_access_boolean | |
| owner | DE-29 |
| owner_facet | DE-29 |
| physical | XII, 279 S. graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer Italia |
| record_format | marc |
| spelling | Deduction, Computation, Experiment Exploring the Effectiveness of Proof Rossella Lupacchini ... (eds.) Berlin [u.a.] Springer Italia 2008 XII, 279 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier "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." -- Book cover. Evidence Mathematik (DE-588)4037944-9 gnd rswk-swf Wissenschaftstheorie (DE-588)4117665-0 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Bologna gnd-content Beweis (DE-588)4132532-1 s Mathematik (DE-588)4037944-9 s DE-604 Wissenschaftstheorie (DE-588)4117665-0 s Lupacchini, Rossella Sonstige oth Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016522514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Deduction, Computation, Experiment Exploring the Effectiveness of Proof Evidence Mathematik (DE-588)4037944-9 gnd Wissenschaftstheorie (DE-588)4117665-0 gnd Beweis (DE-588)4132532-1 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4117665-0 (DE-588)4132532-1 (DE-588)1071861417 |
| title | Deduction, Computation, Experiment Exploring the Effectiveness of Proof |
| title_auth | Deduction, Computation, Experiment Exploring the Effectiveness of Proof |
| title_exact_search | Deduction, Computation, Experiment Exploring the Effectiveness of Proof |
| title_exact_search_txtP | Deduction, Computation, Experiment Exploring the Effectiveness of Proof |
| title_full | Deduction, Computation, Experiment Exploring the Effectiveness of Proof Rossella Lupacchini ... (eds.) |
| title_fullStr | Deduction, Computation, Experiment Exploring the Effectiveness of Proof Rossella Lupacchini ... (eds.) |
| title_full_unstemmed | Deduction, Computation, Experiment Exploring the Effectiveness of Proof Rossella Lupacchini ... (eds.) |
| title_short | Deduction, Computation, Experiment |
| title_sort | deduction computation experiment exploring the effectiveness of proof |
| title_sub | Exploring the Effectiveness of Proof |
| topic | Evidence Mathematik (DE-588)4037944-9 gnd Wissenschaftstheorie (DE-588)4117665-0 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Evidence Mathematik Wissenschaftstheorie Beweis Konferenzschrift 2007 Bologna |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016522514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT lupacchinirossella deductioncomputationexperimentexploringtheeffectivenessofproof |