Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Routledge
2008
|
| Edition: | 2. ed. |
| Series: | Routledge contemporary introductions to philosophy
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 245 S. Ill., graph. Darst. |
| ISBN: | 9780415960489 9780415960472 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV023060174 | ||
| 003 | DE-604 | ||
| 005 | 20080610 | ||
| 007 | t | ||
| 008 | 071220s2008 ad|| |||| 00||| eng d | ||
| 020 | |a 9780415960489 |9 978-0-415-96048-9 | ||
| 020 | |a 9780415960472 |9 978-0-415-96047-2 | ||
| 035 | |a (OCoLC)171550769 | ||
| 035 | |a (DE-599)BVBBV023060174 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-12 |a DE-19 |a DE-521 |a DE-11 | ||
| 082 | 0 | |a 510.1 |2 22 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 100 | 1 | |a Brown, James Robert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Philosophy of mathematics |b a contemporary introduction to the world of proofs and pictures |c James Robert Brown |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a New York [u.a.] |b Routledge |c 2008 | |
| 300 | |a XIV, 245 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Routledge contemporary introductions to philosophy | |
| 650 | 4 | |a Mathematics / Philosophy | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016263426&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016263426 | ||
Record in the Search Index
| _version_ | 1804137297299374080 |
|---|---|
| adam_text | PHILOSOPHY OF MATHEMATICS A CONTEMPORARY INTRODUCTION TO THE WORLD OF
PROOFS AND PICTURES SECOND EDITION JAMES ROBERT BROWN ROUTLEDGE TAYLOR
H. FRANCIS CROUP NEW YORK AND LONDON CONTENTS PREFACE AND
ACKNOWLEDGEMENTS XI CHAPTER 1: INTRODUCTION: THE MATHEMATICAL IMAGE 1
FURTHER READING 8 CHAPTER 2: PLATONISM 9 THE ORIGINAL PLATONIST 9 S OME
RECENT VIEW S 10 WHAT IS PLATONISM? 12 THE PROBLEM OF ACCESS 16 THE
PROBLEM OF CERTAINTY 19 PLATONISM AND ITS RIVALS 24 FURTHER READING 25
CHAPTER 3: PICTURE-PROOFS AND PLATONISM 26 BOLZANO S PURELY ANALYTIC
PROOF 26 WHAT DID BOLZANO DO? 29 DIFFERENT THEOREMS, DIFFERENT CONCEPTS?
30 INDUCTIVE MATHEMATICS 31 SPECIAL AND GENERAL CASES 34 INSTRUCTIVE
EXAMPLES 35 REPRESENTATION 38 SEEING INDUCTION? 40 THREE ANALOGIES 44
ARE PICTURES EXPLANATORY? 46 VIII CONTENTS SO WHY WORRY? 47 FURTHER
READING 47 APPENDIX 47 CHAPTER 4: WHAT IS APPLIED MATHEMATICS? 51
REPRESENTATIONS 52 ARTIFACTS 54 BOGUS APPLICATIONS 56 DOES SCIENCE NEED
MATHEMATICS? 57 REPRESENTATION VS. DESCRIPTION 60 STRUCTURALISM 62
FURTHER READING 66 CHAPTER 5: HILBERT AND GODEL 67 THE NOMINALISTIC
INSTINCT 67 EARLY FORMALISM 68 HILBERT S FORMALISM 69 HILBERT S
PROGRAMME 73 SMALL PROBLEMS 75 GODEL S THEOREM 76 GODEL S SECOND THEOREM
80 THE UPSHOT FOR HILBERT S PROGRAMME 82 THE AFTERMATH 82 FURTHER
READING 83 CHAPTER 6: KNOTS AND NOTATION 84 KNOTS 86 THE DOWKER NOTATION
88 THE CONWAY NOTATION 89 POLYNOMIALS 91 CREATION OR REVELATION? 93
SENSE, REFERENCE AND SOMETHING ELSE 97 FURTHER READING 98 CHAPTER 7:
WHAT IS A DEFINITION? 99 THE OFFICIAL VIEW 99 THE FREGE-HILBERT DEBATE
100 REDUCTIONISM 107 GRAPH THEORY 108 CONTENTS IX LAKATOS 113 CONCLUDING
REMARKS 117 FURTHER READING 117 CHAPTER 8: CONSTRUCTIVE APPROACHES 118
FROM KANT TO BROUWER 119 BROUWER S INTUITIONISM 120 BISHOP S
CONSTRUCTIVISM 122 DUMMETT S ANTI-REALISM 123 LOGIC 125 PROBLEMS 127
FURTHER READING 135 CHAPTER 9: PROOFS, PICTURES AND PROCEDURES IN
WITTGENSTEIN 136 A PICTURE AND A PROBLEM 136 FOLLOWING A RULE 138
PLATONISM 142 ALGORITHMS 144 DISPOSITIONS 144 KNOWING OUR OWN INTENTIONS
145 BROUWER S BEETLE 145 RADICAL CONVENTIONALISM 146 BIZARRE EXAMPLES
147 NATURALISM 148 THE SCEPTICAL SOLUTION 150 MODUS PONENS OR MODUS
TOLLENSL 151 WHAT IS A RULE? 152 GRASPING A SENSE 153 PLATONISM VERSUS
REALISM 155 SURVEYABILITY 157 THE SENSE OF A PICTURE 158 FURTHER READING
159 CHAPTER 10: COMPUTATION, PROOF AND CONJECTURE 160 THE FOUR COLOUR
THEOREM 160 FALLIBILITY 161 SURVEYABILITY 163 INDUCTIVE MATHEMATICS 164
X CONTENTS PERFECT NUMBERS 165 COMPUTATION 168 IS N NORMAL? 170 FERMAT S
LAST THEOREM 171 THE RIEMANN HYPOTHESIS 172 CLUSTERS OF CONJECTURES 173
POLYA AND PUTNAM 174 CONJECTURES AND AXIOMS 175 FURTHER READING 177
CHAPTER 11: HOW TO REFUTE THE CONTINUUM HYPOTHESIS 178 WHAT IS THE
CONTINUUM HYPOTHESIS? 179 HOW COULD WE DETERMINE THE TRUTH OF CH? 183
KREISEL S ANALOGY 185 FREILING S REFUTATION OF CH 186 WHAT MIGHT THE
CONTINUUM BE? 191 TWO OBJECTIONS 192 WHAT DID THE THOUGHT EXPERIMENT
CONTRIBUTE? 195 TWO MORALS 196 APPENDIX: FREILING S VERSION 196 FURTHER
READING 197 CHAPTER 12: CALLING THE BLUFF 198 CALLING THE BLUFF 205 MATH
WARS: A REPORT FROM THE FRONT 207 ONCE MORE: THE MATHEMATICAL IMAGE 217
FURTHER READING 219 NOTES 220 BIBLIOGRAPHY 226 INDEX 236
|
| adam_txt |
PHILOSOPHY OF MATHEMATICS A CONTEMPORARY INTRODUCTION TO THE WORLD OF
PROOFS AND PICTURES SECOND EDITION JAMES ROBERT BROWN ROUTLEDGE TAYLOR
H. FRANCIS CROUP NEW YORK AND LONDON CONTENTS PREFACE AND
ACKNOWLEDGEMENTS XI CHAPTER 1: INTRODUCTION: THE MATHEMATICAL IMAGE 1
FURTHER READING 8 CHAPTER 2: PLATONISM 9 THE ORIGINAL PLATONIST 9 S OME
RECENT VIEW S 10 WHAT IS PLATONISM? 12 THE PROBLEM OF ACCESS 16 THE
PROBLEM OF CERTAINTY 19 PLATONISM AND ITS RIVALS 24 FURTHER READING 25
CHAPTER 3: PICTURE-PROOFS AND PLATONISM 26 BOLZANO'S 'PURELY ANALYTIC
PROOF 26 WHAT DID BOLZANO DO? 29 DIFFERENT THEOREMS, DIFFERENT CONCEPTS?
30 INDUCTIVE MATHEMATICS 31 SPECIAL AND GENERAL CASES 34 INSTRUCTIVE
EXAMPLES 35 REPRESENTATION 38 SEEING INDUCTION? 40 THREE ANALOGIES 44
ARE PICTURES EXPLANATORY? 46 VIII CONTENTS SO WHY WORRY? 47 FURTHER
READING 47 APPENDIX 47 CHAPTER 4: WHAT IS APPLIED MATHEMATICS? 51
REPRESENTATIONS 52 ARTIFACTS 54 BOGUS APPLICATIONS 56 DOES SCIENCE NEED
MATHEMATICS? 57 REPRESENTATION VS. DESCRIPTION 60 STRUCTURALISM 62
FURTHER READING 66 CHAPTER 5: HILBERT AND GODEL 67 THE NOMINALISTIC
INSTINCT 67 EARLY FORMALISM 68 HILBERT'S FORMALISM 69 HILBERT'S
PROGRAMME 73 SMALL PROBLEMS 75 GODEL'S THEOREM 76 GODEL'S SECOND THEOREM
80 THE UPSHOT FOR HILBERT'S PROGRAMME 82 THE AFTERMATH 82 FURTHER
READING 83 CHAPTER 6: KNOTS AND NOTATION 84 KNOTS 86 THE DOWKER NOTATION
88 THE CONWAY NOTATION 89 POLYNOMIALS 91 CREATION OR REVELATION? 93
SENSE, REFERENCE AND SOMETHING ELSE 97 FURTHER READING 98 CHAPTER 7:
WHAT IS A DEFINITION? 99 THE OFFICIAL VIEW 99 THE FREGE-HILBERT DEBATE
100 REDUCTIONISM 107 GRAPH THEORY 108 CONTENTS IX LAKATOS 113 CONCLUDING
REMARKS 117 FURTHER READING 117 CHAPTER 8: CONSTRUCTIVE APPROACHES 118
FROM KANT TO BROUWER 119 BROUWER'S INTUITIONISM 120 BISHOP'S
CONSTRUCTIVISM 122 DUMMETT'S ANTI-REALISM 123 LOGIC 125 PROBLEMS 127
FURTHER READING 135 CHAPTER 9: PROOFS, PICTURES AND PROCEDURES IN
WITTGENSTEIN 136 A PICTURE AND A PROBLEM 136 FOLLOWING A RULE 138
PLATONISM 142 ALGORITHMS 144 DISPOSITIONS 144 KNOWING OUR OWN INTENTIONS
145 BROUWER'S BEETLE 145 RADICAL CONVENTIONALISM 146 BIZARRE EXAMPLES
147 NATURALISM 148 THE SCEPTICAL SOLUTION 150 MODUS PONENS OR MODUS
TOLLENSL 151 WHAT IS A RULE? 152 GRASPING A SENSE 153 PLATONISM VERSUS
REALISM 155 SURVEYABILITY 157 THE SENSE OF A PICTURE 158 FURTHER READING
159 CHAPTER 10: COMPUTATION, PROOF AND CONJECTURE 160 THE FOUR COLOUR
THEOREM 160 FALLIBILITY 161 SURVEYABILITY 163 INDUCTIVE MATHEMATICS 164
X CONTENTS PERFECT NUMBERS 165 COMPUTATION 168 IS N NORMAL? 170 FERMAT'S
LAST THEOREM 171 THE RIEMANN HYPOTHESIS 172 CLUSTERS OF CONJECTURES 173
POLYA AND PUTNAM 174 CONJECTURES AND AXIOMS 175 FURTHER READING 177
CHAPTER 11: HOW TO REFUTE THE CONTINUUM HYPOTHESIS 178 WHAT IS THE
CONTINUUM HYPOTHESIS? 179 HOW COULD WE DETERMINE THE TRUTH OF CH? 183
KREISEL'S ANALOGY 185 FREILING'S REFUTATION OF CH 186 WHAT MIGHT THE
CONTINUUM BE? 191 TWO OBJECTIONS 192 WHAT DID THE THOUGHT EXPERIMENT
CONTRIBUTE? 195 TWO MORALS 196 APPENDIX: FREILING'S VERSION 196 FURTHER
READING 197 CHAPTER 12: CALLING THE BLUFF 198 CALLING THE BLUFF 205 MATH
WARS: A REPORT FROM THE FRONT 207 ONCE MORE: THE MATHEMATICAL IMAGE 217
FURTHER READING 219 NOTES 220 BIBLIOGRAPHY 226 INDEX 236 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Brown, James Robert |
| author_facet | Brown, James Robert |
| author_role | aut |
| author_sort | Brown, James Robert |
| author_variant | j r b jr jrb |
| building | Verbundindex |
| bvnumber | BV023060174 |
| classification_rvk | CC 2400 SG 700 |
| ctrlnum | (OCoLC)171550769 (DE-599)BVBBV023060174 |
| dewey-full | 510.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.1 |
| dewey-search | 510.1 |
| dewey-sort | 3510.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| discipline_str_mv | Mathematik Philosophie |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01766nam a2200457 c 4500</leader><controlfield tag="001">BV023060174</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080610 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">071220s2008 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415960489</subfield><subfield code="9">978-0-415-96048-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415960472</subfield><subfield code="9">978-0-415-96047-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)171550769</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023060174</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 700</subfield><subfield code="0">(DE-625)143071:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Brown, James Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Philosophy of mathematics</subfield><subfield code="b">a contemporary introduction to the world of proofs and pictures</subfield><subfield code="c">James Robert Brown</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Routledge</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 245 S.</subfield><subfield code="b">Ill., 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="490" ind1="0" ind2=" "><subfield code="a">Routledge contemporary introductions to philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics / Philosophy</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">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=016263426&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-016263426</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV023060174 |
| illustrated | Illustrated |
| index_date | 2024-07-02T19:28:26Z |
| indexdate | 2024-07-09T21:10:03Z |
| institution | BVB |
| isbn | 9780415960489 9780415960472 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016263426 |
| oclc_num | 171550769 |
| open_access_boolean | |
| owner | DE-20 DE-12 DE-19 DE-BY-UBM DE-521 DE-11 |
| owner_facet | DE-20 DE-12 DE-19 DE-BY-UBM DE-521 DE-11 |
| physical | XIV, 245 S. Ill., graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Routledge |
| record_format | marc |
| series2 | Routledge contemporary introductions to philosophy |
| spelling | Brown, James Robert Verfasser aut Philosophy of mathematics a contemporary introduction to the world of proofs and pictures James Robert Brown 2. ed. New York [u.a.] Routledge 2008 XIV, 245 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Routledge contemporary introductions to philosophy Mathematics / Philosophy Mathematik Philosophie Mathematics Philosophy Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016263426&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Brown, James Robert Philosophy of mathematics a contemporary introduction to the world of proofs and pictures Mathematics / Philosophy Mathematik Philosophie Mathematics Philosophy Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4045791-6 (DE-588)4037944-9 (DE-588)4151278-9 |
| title | Philosophy of mathematics a contemporary introduction to the world of proofs and pictures |
| title_auth | Philosophy of mathematics a contemporary introduction to the world of proofs and pictures |
| title_exact_search | Philosophy of mathematics a contemporary introduction to the world of proofs and pictures |
| title_exact_search_txtP | Philosophy of mathematics a contemporary introduction to the world of proofs and pictures |
| title_full | Philosophy of mathematics a contemporary introduction to the world of proofs and pictures James Robert Brown |
| title_fullStr | Philosophy of mathematics a contemporary introduction to the world of proofs and pictures James Robert Brown |
| title_full_unstemmed | Philosophy of mathematics a contemporary introduction to the world of proofs and pictures James Robert Brown |
| title_short | Philosophy of mathematics |
| title_sort | philosophy of mathematics a contemporary introduction to the world of proofs and pictures |
| title_sub | a contemporary introduction to the world of proofs and pictures |
| topic | Mathematics / Philosophy Mathematik Philosophie Mathematics Philosophy Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Mathematics / Philosophy Mathematik Philosophie Mathematics Philosophy Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016263426&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT brownjamesrobert philosophyofmathematicsacontemporaryintroductiontotheworldofproofsandpictures |