The nature of physical computation:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York
Oxford University Press
[2022]
|
| Schriftenreihe: | Oxford studies in philosophy of science
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | vi, 312 Seiten Illustrationen 24 cm |
| ISBN: | 9780197552384 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV047835997 | ||
| 003 | DE-604 | ||
| 005 | 20241204 | ||
| 007 | t| | ||
| 008 | 220214s2022 xx a||| |||| 00||| eng d | ||
| 020 | |a 9780197552384 |c hbk |9 978-0-19-755238-4 | ||
| 035 | |a (OCoLC)1346083133 | ||
| 035 | |a (DE-599)BVBBV047835997 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-M468 |a DE-29T |a DE-12 | ||
| 084 | |a SK 955 |0 (DE-625)143274: |2 rvk | ||
| 100 | 1 | |a Shagrir, Oron |d 1961- |e Verfasser |0 (DE-588)1068554525 |4 aut | |
| 245 | 1 | 0 | |a The nature of physical computation |c Oron Shagrir |
| 264 | 1 | |a New York |b Oxford University Press |c [2022] | |
| 264 | 4 | |c © 2022 | |
| 300 | |a vi, 312 Seiten |b Illustrationen |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Oxford studies in philosophy of science | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 653 | 0 | |a Computer science / Philosophy | |
| 653 | 0 | |a Semantic computing | |
| 653 | 0 | |a Computers / Philosophy | |
| 653 | 0 | |a Computer science / Philosophy | |
| 653 | 0 | |a Semantic computing | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, EPUB |z 978-0-19-755240-7 |
| 856 | 4 | 2 | |m Digitalisierung BSB München - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033219170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033219170 | |
Datensatz im Suchindex
| _version_ | 1817514865182375936 |
|---|---|
| adam_text |
Contents Introduction 1 1. Desiderata of a Theory of Computation 1.1 Scope 1.2 Features 1.3 Summary 6 6 10 24 2. Turings Computability 2.1 Ihe 1936 Affair 2.2 Turing’s Analysis 2.3 Who Is “the Computer”? 2.4 Effective Computability and Machine Computation 2.5 Summary 26 27 33 39 46 48 3. Preamble to Machine Computation 3.1 Gandy’s Account of Machine Computation 3.2 Generic Computation 3.3 Algorithmic Computation 3.4 Physical Computation 3.5 Summary 49 49 55 60 70 87 4. Computation as Step-Satisfaction 4.1 Cummins’s Account of Computation 4.2 Is Step-Satisfaction Necessary for Computation? 4.3 Neural Computation 4.4 Summary 5. Computation as Implementation 5.1 Triviality Results 5.2 Avoiding Triviality 5.3 From Implementation to Computation 5.4 Summary 88 89 95 103 118 - 119 120 129 137 144 6. Computation as Mechanism 6.1 An Outline of the Mechanistic Account 6.2 What Is “Mechanistic” in the Mechanistic Account? 6.3 Computational and Mechanistic Explanations 6.4 Rules, Medium-Independence, and Teleological Functions 6.5 Summary 145 145 148 151 167 174
vi CONTENTS 7. The Semantic View of Computation 7.1 What Is a Semantic View of Computation? 7.2 Objections to the Semantic View 7.3 Summary 175 175 189 200 8. An Argument for the Semantic View 8.1 Simultaneous Implementation 8.2 The Master Argument: From Simultaneous Implementation to the Semantic Individuation of Computational States 8.3 Objection 1: Computational Individuation Is More Basic 8.4 Objection 2: Externalism Without Content 8.5 Summary 201 201 9. Computing as Modeling 9.1 What Is Modeling? 9.2 The Modeling Notion of Computation 9.3 Others Who Have Linked Computing to Modeling 9.4 The Methodological Role of Modeling 9.5 Computational Explanations 9.6 Summary 229 229 238 243 249 253 263 207 214 221 228 Conclusion 264 Acknowledgments Bibliography Name Index Subject Index 267 271 301 307 |
| adam_txt |
Contents Introduction 1 1. Desiderata of a Theory of Computation 1.1 Scope 1.2 Features 1.3 Summary 6 6 10 24 2. Turings Computability 2.1 Ihe 1936 Affair 2.2 Turing’s Analysis 2.3 Who Is “the Computer”? 2.4 Effective Computability and Machine Computation 2.5 Summary 26 27 33 39 46 48 3. Preamble to Machine Computation 3.1 Gandy’s Account of Machine Computation 3.2 Generic Computation 3.3 Algorithmic Computation 3.4 Physical Computation 3.5 Summary 49 49 55 60 70 87 4. Computation as Step-Satisfaction 4.1 Cummins’s Account of Computation 4.2 Is Step-Satisfaction Necessary for Computation? 4.3 Neural Computation 4.4 Summary 5. Computation as Implementation 5.1 Triviality Results 5.2 Avoiding Triviality 5.3 From Implementation to Computation 5.4 Summary 88 89 95 103 118 - 119 120 129 137 144 6. Computation as Mechanism 6.1 An Outline of the Mechanistic Account 6.2 What Is “Mechanistic” in the Mechanistic Account? 6.3 Computational and Mechanistic Explanations 6.4 Rules, Medium-Independence, and Teleological Functions 6.5 Summary 145 145 148 151 167 174
vi CONTENTS 7. The Semantic View of Computation 7.1 What Is a Semantic View of Computation? 7.2 Objections to the Semantic View 7.3 Summary 175 175 189 200 8. An Argument for the Semantic View 8.1 Simultaneous Implementation 8.2 The Master Argument: From Simultaneous Implementation to the Semantic Individuation of Computational States 8.3 Objection 1: Computational Individuation Is More Basic 8.4 Objection 2: Externalism Without Content 8.5 Summary 201 201 9. Computing as Modeling 9.1 What Is Modeling? 9.2 The Modeling Notion of Computation 9.3 Others Who Have Linked Computing to Modeling 9.4 The Methodological Role of Modeling 9.5 Computational Explanations 9.6 Summary 229 229 238 243 249 253 263 207 214 221 228 Conclusion 264 Acknowledgments Bibliography Name Index Subject Index 267 271 301 307 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Shagrir, Oron 1961- |
| author_GND | (DE-588)1068554525 |
| author_facet | Shagrir, Oron 1961- |
| author_role | aut |
| author_sort | Shagrir, Oron 1961- |
| author_variant | o s os |
| building | Verbundindex |
| bvnumber | BV047835997 |
| classification_rvk | SK 955 |
| ctrlnum | (OCoLC)1346083133 (DE-599)BVBBV047835997 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV047835997</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241204</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">220214s2022 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780197552384</subfield><subfield code="c">hbk</subfield><subfield code="9">978-0-19-755238-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1346083133</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047835997</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 955</subfield><subfield code="0">(DE-625)143274:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shagrir, Oron</subfield><subfield code="d">1961-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1068554525</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The nature of physical computation</subfield><subfield code="c">Oron Shagrir</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vi, 312 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">24 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="490" ind1="0" ind2=" "><subfield code="a">Oxford studies in philosophy of science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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="653" ind1=" " ind2="0"><subfield code="a">Computer science / Philosophy</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Semantic computing</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computers / Philosophy</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer science / Philosophy</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Semantic computing</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, EPUB</subfield><subfield code="z">978-0-19-755240-7</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München - ADAM Catalogue Enrichment</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=033219170&sequence=000001&line_number=0001&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-033219170</subfield></datafield></record></collection> |
| id | DE-604.BV047835997 |
| illustrated | Illustrated |
| index_date | 2024-07-03T19:10:31Z |
| indexdate | 2024-12-04T13:00:46Z |
| institution | BVB |
| isbn | 9780197552384 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033219170 |
| oclc_num | 1346083133 |
| open_access_boolean | |
| owner | DE-11 DE-M468 DE-29T DE-12 |
| owner_facet | DE-11 DE-M468 DE-29T DE-12 |
| physical | vi, 312 Seiten Illustrationen 24 cm |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Oxford University Press |
| record_format | marc |
| series2 | Oxford studies in philosophy of science |
| spelling | Shagrir, Oron 1961- Verfasser (DE-588)1068554525 aut The nature of physical computation Oron Shagrir New York Oxford University Press [2022] © 2022 vi, 312 Seiten Illustrationen 24 cm txt rdacontent n rdamedia nc rdacarrier Oxford studies in philosophy of science Semantik (DE-588)4054490-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Computer science / Philosophy Semantic computing Computers / Philosophy Informatik (DE-588)4026894-9 s Philosophie (DE-588)4045791-6 s Semantik (DE-588)4054490-4 s DE-604 Erscheint auch als Online-Ausgabe, EPUB 978-0-19-755240-7 Digitalisierung BSB München - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033219170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Shagrir, Oron 1961- The nature of physical computation Semantik (DE-588)4054490-4 gnd Informatik (DE-588)4026894-9 gnd Philosophie (DE-588)4045791-6 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4026894-9 (DE-588)4045791-6 |
| title | The nature of physical computation |
| title_auth | The nature of physical computation |
| title_exact_search | The nature of physical computation |
| title_exact_search_txtP | The nature of physical computation |
| title_full | The nature of physical computation Oron Shagrir |
| title_fullStr | The nature of physical computation Oron Shagrir |
| title_full_unstemmed | The nature of physical computation Oron Shagrir |
| title_short | The nature of physical computation |
| title_sort | the nature of physical computation |
| topic | Semantik (DE-588)4054490-4 gnd Informatik (DE-588)4026894-9 gnd Philosophie (DE-588)4045791-6 gnd |
| topic_facet | Semantik Informatik Philosophie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033219170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT shagriroron thenatureofphysicalcomputation |