Phenomenology, logic and the philosophy of mathematics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge University Press
2005
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Rezension Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | X, 357 S. |
| ISBN: | 0521837820 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV020051711 | ||
| 003 | DE-604 | ||
| 005 | 20051212 | ||
| 007 | t | ||
| 008 | 050930s2005 xxu |||| 00||| eng d | ||
| 010 | |a 2004062888 | ||
| 020 | |a 0521837820 |9 0-521-83782-0 | ||
| 035 | |a (OCoLC)57211302 | ||
| 035 | |a (DE-599)BVBBV020051711 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-29 |a DE-12 |a DE-19 |a DE-11 | ||
| 050 | 0 | |a QA8.4 | |
| 082 | 0 | |a 510/.1 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Tieszen, Richard L. |d 1951-2017 |e Verfasser |0 (DE-588)1013625196 |4 aut | |
| 245 | 1 | 0 | |a Phenomenology, logic and the philosophy of mathematics |c Richard Tieszen |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge University Press |c 2005 | |
| 300 | |a X, 357 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 600 | 1 | 7 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |2 gnd |9 rswk-swf |
| 650 | 7 | |a Fenomenologie |2 gtt | |
| 650 | 7 | |a Filosofie van de wiskunde |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 4 | |a Phenomenology | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 4 | |a Intuitionistic mathematics | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Phänomenologie |0 (DE-588)4045660-2 |2 gnd |9 rswk-swf |
| 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)4143413-4 |a Aufsatzsammlung |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 | 2 | |a Phänomenologie |0 (DE-588)4045660-2 |D s |
| 689 | 0 | 3 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |D p |
| 689 | 1 | 1 | |a Phänomenologie |0 (DE-588)4045660-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HTML von NDPR |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013373927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Rezension |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013373927&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013373927 | |
Datensatz im Suchindex
| _version_ | 1815416738028716032 |
|---|---|
| adam_text |
Contents
Acknowledgments page vii
Introduction: Themes and Issues 1
PART I. REASON, SCIENCE, AND MATHEMATICS
1 Science as a Triumph of the Human Spirit and Science in
Crisis: Husserl and the Fortunes of Reason 21
2 Mathematics and Transcendental Phenomenology 46
3 Free Variation and the Intuition of Geometric Essences:
Some Reflections on Phenomenology and Modern
Geometry 69
PART II. KURT GODEL, PHENOMENOLOGY, AND THE
PHILOSOPHY OF MATHEMATICS
4 Kurt Godel and Phenomenology 93
5 Godel's Philosophical Remarks on Logic and Mathematics 112
6 Godel's Path from the Incompleteness Theorems (1931)
to Phenomenology (1961) 125
7 Godel and the Intuition of Concepts 149
8 Godel and Quine on Meaning and Mathematics 177
9 Maddy on Realism in Mathematics 201
10 Penrose on Minds and Machines 215
V
vi Contents
PART III. CONSTRUCTIVISM, FULFILLABLE INTENTIONS,
AND ORIGINS
11 Intuitionism, Meaning Theory, and Cognition 227
12 The Philosophical Background of Weyl's Mathematical
Constructivism 248
13 Proofs and Fulfillable Mathematical Intentions 276
14 Logicism, Impredicativity, Formalism: Some Remarks on
Poincare and Husserl 294
15 The Philosophy of Arithmetic: Frege and Husserl 314
Bibliography 337
Index 349 |
| any_adam_object | 1 |
| author | Tieszen, Richard L. 1951-2017 |
| author_GND | (DE-588)1013625196 |
| author_facet | Tieszen, Richard L. 1951-2017 |
| author_role | aut |
| author_sort | Tieszen, Richard L. 1951-2017 |
| author_variant | r l t rl rlt |
| building | Verbundindex |
| bvnumber | BV020051711 |
| callnumber-first | Q - Science |
| callnumber-label | QA8 |
| callnumber-raw | QA8.4 |
| callnumber-search | QA8.4 |
| callnumber-sort | QA 18.4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)57211302 (DE-599)BVBBV020051711 |
| 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 11 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV020051711</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051212</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050930s2005 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004062888</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521837820</subfield><subfield code="9">0-521-83782-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57211302</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020051711</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-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA8.4</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 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tieszen, Richard L.</subfield><subfield code="d">1951-2017</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1013625196</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Phenomenology, logic and the philosophy of mathematics</subfield><subfield code="c">Richard Tieszen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 357 S.</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 and index</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fenomenologie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Filosofie van de wiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</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=" " ind2="4"><subfield code="a">Phenomenology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intuitionistic mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Phänomenologie</subfield><subfield code="0">(DE-588)4045660-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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="2"><subfield code="a">Phänomenologie</subfield><subfield code="0">(DE-588)4045660-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Phänomenologie</subfield><subfield code="0">(DE-588)4045660-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HTML von NDPR</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=013373927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Rezension</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=013373927&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013373927</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV020051711 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-11T09:11:56Z |
| institution | BVB |
| isbn | 0521837820 |
| language | English |
| lccn | 2004062888 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013373927 |
| oclc_num | 57211302 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-29 DE-12 DE-19 DE-BY-UBM DE-11 |
| physical | X, 357 S. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Tieszen, Richard L. 1951-2017 Verfasser (DE-588)1013625196 aut Phenomenology, logic and the philosophy of mathematics Richard Tieszen 1. publ. Cambridge [u.a.] Cambridge University Press 2005 X, 357 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Fenomenologie gtt Filosofie van de wiskunde gtt Logica gtt Logik Mathematik Philosophie Mathematics Philosophy Phenomenology Logic, Symbolic and mathematical Constructive mathematics Intuitionistic mathematics Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Phänomenologie (DE-588)4045660-2 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s Phänomenologie (DE-588)4045660-2 s Mathematische Logik (DE-588)4037951-6 s DE-604 Gödel, Kurt 1906-1978 (DE-588)11869569X p HTML von NDPR application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013373927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Rezension HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013373927&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tieszen, Richard L. 1951-2017 Phenomenology, logic and the philosophy of mathematics Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Fenomenologie gtt Filosofie van de wiskunde gtt Logica gtt Logik Mathematik Philosophie Mathematics Philosophy Phenomenology Logic, Symbolic and mathematical Constructive mathematics Intuitionistic mathematics Mathematische Logik (DE-588)4037951-6 gnd Phänomenologie (DE-588)4045660-2 gnd Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)11869569X (DE-588)4037951-6 (DE-588)4045660-2 (DE-588)4045791-6 (DE-588)4037944-9 (DE-588)4143413-4 |
| title | Phenomenology, logic and the philosophy of mathematics |
| title_auth | Phenomenology, logic and the philosophy of mathematics |
| title_exact_search | Phenomenology, logic and the philosophy of mathematics |
| title_full | Phenomenology, logic and the philosophy of mathematics Richard Tieszen |
| title_fullStr | Phenomenology, logic and the philosophy of mathematics Richard Tieszen |
| title_full_unstemmed | Phenomenology, logic and the philosophy of mathematics Richard Tieszen |
| title_short | Phenomenology, logic and the philosophy of mathematics |
| title_sort | phenomenology logic and the philosophy of mathematics |
| topic | Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Fenomenologie gtt Filosofie van de wiskunde gtt Logica gtt Logik Mathematik Philosophie Mathematics Philosophy Phenomenology Logic, Symbolic and mathematical Constructive mathematics Intuitionistic mathematics Mathematische Logik (DE-588)4037951-6 gnd Phänomenologie (DE-588)4045660-2 gnd Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Gödel, Kurt 1906-1978 Fenomenologie Filosofie van de wiskunde Logica Logik Mathematik Philosophie Mathematics Philosophy Phenomenology Logic, Symbolic and mathematical Constructive mathematics Intuitionistic mathematics Mathematische Logik Phänomenologie Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013373927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013373927&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tieszenrichardl phenomenologylogicandthephilosophyofmathematics |