The proof is in the pudding: the changing nature of mathematical proof
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Springer
2011
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references (p. 241-249) and index |
| Physical Description: | XVI, 264 S. Ill., graph. Darst. 26 cm |
| ISBN: | 9780387489087 0387489088 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040639255 | ||
| 003 | DE-604 | ||
| 005 | 20141127 | ||
| 007 | t | ||
| 008 | 121218s2011 xxuad|| |||| 00||| eng d | ||
| 010 | |a 2011928557 | ||
| 015 | |a GBB060120 |2 dnb | ||
| 020 | |a 9780387489087 |c acidfree paper |9 978-0-387-48908-7 | ||
| 020 | |a 0387489088 |c acidfree paper |9 0-387-48908-8 | ||
| 035 | |a (OCoLC)740996680 | ||
| 035 | |a (DE-599)BVBBV040639255 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-188 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.36 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 100 | 1 | |a Krantz, Steven G. |d 1951- |e Verfasser |0 (DE-588)130535907 |4 aut | |
| 245 | 1 | 0 | |a The proof is in the pudding |b the changing nature of mathematical proof |c Steven G. Krantz |
| 264 | 1 | |a New York [u.a.] |b Springer |c 2011 | |
| 300 | |a XVI, 264 S. |b Ill., graph. Darst. |c 26 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 241-249) and index | ||
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Proof theory | |
| 650 | 4 | |a Proof theory |x History | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 7 | |a Théorie de la démonstration |2 ram | |
| 650 | 7 | |a Symbolic logic |2 sears | |
| 650 | 7 | |a Mathematics |x Philosophy |2 sears | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m LoC Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025466347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025466347 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804149753859014656 |
|---|---|
| adam_text | THE PROOF IS IN THE PUDDING
/ KRANTZ, STEVEN GEORGE
: C2011
TABLE OF CONTENTS / INHALTSVERZEICHNIS
WHAT IS A PROOF AND WHY?
THE ANCIENTS
THE MIDDLE AGES AND AN EMPHASIS ON CALCULATION
THE DAWN OF THE MODERN AGE
HILBERT AND THE TWENTIETH CENTURY
THE TANTALIZING FOUR-COLOR THEOREM
COMPUTER-GENERATED PROOFS
THE COMPUTER AS AN AID TO TEACHING AND A SUBSTITUTE FOR PROOF
ASPECTS OF MODERN MATHEMATICAL LIFE
BEYOND COMPUTERS : THE SOCIOLOGY OF MATHEMATICAL PROOF
A LEGACY OF ELUSIVE PROOFS
JOHN HORGAN AND THE DEATH OF PROOF?
CLOSING THOUGHTS.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Krantz, Steven G. 1951- |
| author_GND | (DE-588)130535907 |
| author_facet | Krantz, Steven G. 1951- |
| author_role | aut |
| author_sort | Krantz, Steven G. 1951- |
| author_variant | s g k sg sgk |
| building | Verbundindex |
| bvnumber | BV040639255 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 110 |
| ctrlnum | (OCoLC)740996680 (DE-599)BVBBV040639255 |
| dewey-full | 511.36 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.36 |
| dewey-search | 511.36 |
| dewey-sort | 3511.36 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01924nam a2200517zc 4500</leader><controlfield tag="001">BV040639255</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141127 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">121218s2011 xxuad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011928557</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB060120</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780387489087</subfield><subfield code="c">acidfree paper</subfield><subfield code="9">978-0-387-48908-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387489088</subfield><subfield code="c">acidfree paper</subfield><subfield code="9">0-387-48908-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)740996680</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040639255</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.36</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Krantz, Steven G.</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130535907</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The proof is in the pudding</subfield><subfield code="b">the changing nature of mathematical proof</subfield><subfield code="c">Steven G. Krantz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 264 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">26 cm</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 241-249) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield><subfield code="x">History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorie de la démonstration</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolic logic</subfield><subfield code="2">sears</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="2">sears</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">LoC Fremddatenuebernahme</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=025466347&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-025466347</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV040639255 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:28:03Z |
| institution | BVB |
| isbn | 9780387489087 0387489088 |
| language | English |
| lccn | 2011928557 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025466347 |
| oclc_num | 740996680 |
| open_access_boolean | |
| owner | DE-188 |
| owner_facet | DE-188 |
| physical | XVI, 264 S. Ill., graph. Darst. 26 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| spelling | Krantz, Steven G. 1951- Verfasser (DE-588)130535907 aut The proof is in the pudding the changing nature of mathematical proof Steven G. Krantz New York [u.a.] Springer 2011 XVI, 264 S. Ill., graph. Darst. 26 cm txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. 241-249) and index Geschichte Mathematik Philosophie Proof theory Proof theory History Mathematics Philosophy Théorie de la démonstration ram Symbolic logic sears Mathematics Philosophy sears Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s 1\p DE-604 LoC Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025466347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Krantz, Steven G. 1951- The proof is in the pudding the changing nature of mathematical proof Geschichte Mathematik Philosophie Proof theory Proof theory History Mathematics Philosophy Théorie de la démonstration ram Symbolic logic sears Mathematics Philosophy sears Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | The proof is in the pudding the changing nature of mathematical proof |
| title_auth | The proof is in the pudding the changing nature of mathematical proof |
| title_exact_search | The proof is in the pudding the changing nature of mathematical proof |
| title_full | The proof is in the pudding the changing nature of mathematical proof Steven G. Krantz |
| title_fullStr | The proof is in the pudding the changing nature of mathematical proof Steven G. Krantz |
| title_full_unstemmed | The proof is in the pudding the changing nature of mathematical proof Steven G. Krantz |
| title_short | The proof is in the pudding |
| title_sort | the proof is in the pudding the changing nature of mathematical proof |
| title_sub | the changing nature of mathematical proof |
| topic | Geschichte Mathematik Philosophie Proof theory Proof theory History Mathematics Philosophy Théorie de la démonstration ram Symbolic logic sears Mathematics Philosophy sears Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Geschichte Mathematik Philosophie Proof theory Proof theory History Mathematics Philosophy Théorie de la démonstration Symbolic logic Beweistheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025466347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT krantzsteveng theproofisinthepuddingthechangingnatureofmathematicalproof |