Computation and its limits:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2012
|
| Ausgabe: | 1. publ. |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024850952&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Umfang: | VI, 239 S. Ill., graph. Darst. 25 cm |
| ISBN: | 9780199640324 0199640327 9780198729129 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV039993875 | ||
| 003 | DE-604 | ||
| 005 | 20160901 | ||
| 007 | t| | ||
| 008 | 120330s2012 xx ad|| |||| 00||| eng d | ||
| 015 | |a GBB1D1161 |2 dnb | ||
| 020 | |a 9780199640324 |c hbk |9 978-0-19-964032-4 | ||
| 020 | |a 0199640327 |c hbk |9 0-19-964032-7 | ||
| 020 | |a 9780198729129 |c pbk |9 978-0-19-872912-9 | ||
| 035 | |a (OCoLC)780007385 | ||
| 035 | |a (DE-599)BVBBV039993875 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-19 |a DE-11 |a DE-91G |a DE-20 |a DE-29T | ||
| 082 | 0 | |a 004.0151 | |
| 082 | 0 | |a 004 | |
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 084 | |a DAT 500f |2 stub | ||
| 100 | 1 | |a Cockshott, William Paul |d 1952- |e Verfasser |0 (DE-588)129175471 |4 aut | |
| 245 | 1 | 0 | |a Computation and its limits |c Paul Cockshott ; Lewis M. Mackenzie ; Greg Michaelson |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2012 | |
| 300 | |a VI, 239 S. |b Ill., graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Beschränkung |0 (DE-588)4247482-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnung |0 (DE-588)4120997-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 0 | 1 | |a Berechnung |0 (DE-588)4120997-7 |D s |
| 689 | 0 | 2 | |a Beschränkung |0 (DE-588)4247482-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mackenzie, Lewis M. |e Verfasser |0 (DE-588)1022545272 |4 aut | |
| 700 | 1 | |a Michaelson, Greg |e Verfasser |0 (DE-588)102254635X |4 aut | |
| 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=024850952&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 942 | 1 | 1 | |c 004 |e 22/bsb |
| 942 | 1 | 1 | |c 302.2 |e 22/bsb |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024850952 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 500f 2015 A 2168 |
|---|---|
| DE-BY-TUM_katkey | 2058816 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040008060971 |
| _version_ | 1821934047757074433 |
| adam_text | Titel: Computation and its limits
Autor: Cockshott, William Paul
Jahr: 2012
Contents
Introduction 1
1.1 Overview 1
1.2 Summary 4
1.3 Acknowledgements 5
What is computation? 6
2.1 The apparent mystery of maths 6
2.2 Counting sheep 11
2.3 Counting materialised in our own bodily movements 16
2.4 From aides-memoire 1 to the first digital
calculating devices 23
Mechanical computers and their limits 28
3.1 Antikythera 28
3.2 Late mechanical computers 35
3.3 Analogue mechanical multiply/accumulate 39
3.4 Mechanizing the abacus 42
Logical limits to computing 47
4.1 Introduction 47
4.2 Propositional logic 47
4.3 Set theory 51
4.4 Predicate logic 52
4.5 Recursion 55
4.6 Peano arithmetic 55
4.7 Paradoxes 58
4.8 Arithmetizing mathematics and incompleteness 61
4.9 Infinities 64
4.10 Real numbers and Cantor diagonalization 66
4.11 Turing machines 67
4.12 Universal TM and undecidability 71
4.13 Computational procedures 74
4.14 The Church-Turing thesis 78
4.15 Machines, programs, and expressions 79
Heat, information, and geometry 83
5.1 The triumph of digital computation 83
5.2 Analogue computing with real numbers 84
5.3 What memories are made of 86
5.4 Power consumption as a limit 91
5.5 Entropy 95
5.6 Shannon s information theory 111
5.7 Landauer s limit 114
5.8 Non-entropic computation 117
5.9 Interconnection 122
6 Quantum computers 128
6.1 Foundations of quantum theory 128
6.2 The quantum rules 136
6.3 Qubits 142
6.4 Entanglement and quantum registers 146
6.5 Quantum computers 153
6.6 Quantum algorithms 155
6.7 Building a quantum computer 157
6.8 Physical limits to real number representations 167
6.9 Error rates in classical and quantum gates 171
7 Beyond the logical limits of computing? 173
7.1 Introduction 173
7.2 Oracles, complexity, and tractability 174
7.3 Beyond the Turing Machine? 176
7.4 Numberology 177
7.5 What is real about the reals? 180
7.6 Real measurement 181
7.7 Back to Turing 184
7.8 Reservations about Cantor 185
8 Hypercomputing proposals 187
8.1 Infinite Turing Machines 187
8.2 Infinitely precise analogue computers 190
8.3 Wegner and Eberbach s super-Turing computers 201
8.4 Interaction Machines 202
8.5 TT-Calculus 206
8.6 $-Calculus 211
8.7 Conclusions 214
Bibliography 216
Index 226
|
| any_adam_object | 1 |
| author | Cockshott, William Paul 1952- Mackenzie, Lewis M. Michaelson, Greg |
| author_GND | (DE-588)129175471 (DE-588)1022545272 (DE-588)102254635X |
| author_facet | Cockshott, William Paul 1952- Mackenzie, Lewis M. Michaelson, Greg |
| author_role | aut aut aut |
| author_sort | Cockshott, William Paul 1952- |
| author_variant | w p c wp wpc l m m lm lmm g m gm |
| building | Verbundindex |
| bvnumber | BV039993875 |
| classification_rvk | ST 110 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)780007385 (DE-599)BVBBV039993875 |
| dewey-full | 004.0151 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 004 |
| dewey-search | 004.0151 004 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02050nam a2200529 c 4500</leader><controlfield tag="001">BV039993875</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160901 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120330s2012 xx ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB1D1161</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199640324</subfield><subfield code="c">hbk</subfield><subfield code="9">978-0-19-964032-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199640327</subfield><subfield code="c">hbk</subfield><subfield code="9">0-19-964032-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198729129</subfield><subfield code="c">pbk</subfield><subfield code="9">978-0-19-872912-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)780007385</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039993875</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-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cockshott, William Paul</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)129175471</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computation and its limits</subfield><subfield code="c">Paul Cockshott ; Lewis M. Mackenzie ; Greg Michaelson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 239 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">25 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">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschränkung</subfield><subfield code="0">(DE-588)4247482-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnung</subfield><subfield code="0">(DE-588)4120997-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechnung</subfield><subfield code="0">(DE-588)4120997-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Beschränkung</subfield><subfield code="0">(DE-588)4247482-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mackenzie, Lewis M.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1022545272</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Michaelson, Greg</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)102254635X</subfield><subfield code="4">aut</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=024850952&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">004</subfield><subfield code="e">22/bsb</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">302.2</subfield><subfield code="e">22/bsb</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024850952</subfield></datafield></record></collection> |
| id | DE-604.BV039993875 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T16:06:58Z |
| institution | BVB |
| isbn | 9780199640324 0199640327 9780198729129 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024850952 |
| oclc_num | 780007385 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-11 DE-91G DE-BY-TUM DE-20 DE-29T |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-11 DE-91G DE-BY-TUM DE-20 DE-29T |
| physical | VI, 239 S. Ill., graph. Darst. 25 cm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spellingShingle | Cockshott, William Paul 1952- Mackenzie, Lewis M. Michaelson, Greg Computation and its limits Computer science Informatik Beschränkung (DE-588)4247482-6 gnd Computer (DE-588)4070083-5 gnd Berechnung (DE-588)4120997-7 gnd |
| subject_GND | (DE-588)4247482-6 (DE-588)4070083-5 (DE-588)4120997-7 |
| title | Computation and its limits |
| title_auth | Computation and its limits |
| title_exact_search | Computation and its limits |
| title_full | Computation and its limits Paul Cockshott ; Lewis M. Mackenzie ; Greg Michaelson |
| title_fullStr | Computation and its limits Paul Cockshott ; Lewis M. Mackenzie ; Greg Michaelson |
| title_full_unstemmed | Computation and its limits Paul Cockshott ; Lewis M. Mackenzie ; Greg Michaelson |
| title_short | Computation and its limits |
| title_sort | computation and its limits |
| topic | Computer science Informatik Beschränkung (DE-588)4247482-6 gnd Computer (DE-588)4070083-5 gnd Berechnung (DE-588)4120997-7 gnd |
| topic_facet | Computer science Informatik Beschränkung Computer Berechnung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024850952&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT cockshottwilliampaul computationanditslimits AT mackenzielewism computationanditslimits AT michaelsongreg computationanditslimits |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 500f 2015 A 2168 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |