Computability in context: computation and logic in the real world
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, base...
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London
Imperial College Press
c2011
|
| Schlagworte: | |
| Online-Zugang: | FHN01 URL des Erstveroeffentlichers |
| Zusammenfassung: | Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues, covering problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world and how this affects our way of thinking about everyday computational issues |
| Beschreibung: | viii, 410 p. ill. (some col.) |
| ISBN: | 9781848162778 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044633384 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9781848162778 |c electronic bk. |9 978-1-84816-277-8 | ||
| 024 | 7 | |a 10.1142/P577 |2 doi | |
| 035 | |a (ZDB-124-WOP)00001289 | ||
| 035 | |a (OCoLC)1012692089 | ||
| 035 | |a (DE-599)BVBBV044633384 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 511.3/52 |2 22 | |
| 245 | 1 | 0 | |a Computability in context |b computation and logic in the real world |c editors, S. Barry Cooper, Andrea Sorbi |
| 264 | 1 | |a London |b Imperial College Press |c c2011 | |
| 300 | |a viii, 410 p. |b ill. (some col.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues, covering problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world and how this affects our way of thinking about everyday computational issues | ||
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Computational intelligence | |
| 650 | 4 | |a Set theory | |
| 650 | 4 | |a Mathematics / Philosophy | |
| 700 | 1 | |a Cooper, S. B. |e Sonstige |4 oth | |
| 700 | 1 | |a Sorbi, Andrea |d 1956- |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1848162456 (hbk.) |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781848162457 (hbk.) |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030031356 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178043840757760 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV044633384 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00001289 (OCoLC)1012692089 (DE-599)BVBBV044633384 |
| dewey-full | 511.3/52 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/52 |
| dewey-search | 511.3/52 |
| dewey-sort | 3511.3 252 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02473nmm a2200421zc 4500</leader><controlfield tag="001">BV044633384</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848162778</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-84816-277-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/P577</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00001289 </subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012692089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044633384</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="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/52</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability in context</subfield><subfield code="b">computation and logic in the real world</subfield><subfield code="c">editors, S. Barry Cooper, Andrea Sorbi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Imperial College Press</subfield><subfield code="c">c2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 410 p.</subfield><subfield code="b">ill. (some col.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues, covering problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world and how this affects our way of thinking about everyday computational issues</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics / Philosophy</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, S. B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sorbi, Andrea</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1848162456 (hbk.)</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781848162457 (hbk.)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030031356</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044633384 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:57:42Z |
| institution | BVB |
| isbn | 9781848162778 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030031356 |
| oclc_num | 1012692089 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | viii, 410 p. ill. (some col.) |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Imperial College Press |
| record_format | marc |
| spelling | Computability in context computation and logic in the real world editors, S. Barry Cooper, Andrea Sorbi London Imperial College Press c2011 viii, 410 p. ill. (some col.) txt rdacontent c rdamedia cr rdacarrier Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues, covering problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world and how this affects our way of thinking about everyday computational issues Computable functions Computational intelligence Set theory Mathematics / Philosophy Cooper, S. B. Sonstige oth Sorbi, Andrea 1956- Sonstige oth Erscheint auch als Druck-Ausgabe 1848162456 (hbk.) Erscheint auch als Druck-Ausgabe 9781848162457 (hbk.) http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Computability in context computation and logic in the real world Computable functions Computational intelligence Set theory Mathematics / Philosophy |
| title | Computability in context computation and logic in the real world |
| title_auth | Computability in context computation and logic in the real world |
| title_exact_search | Computability in context computation and logic in the real world |
| title_full | Computability in context computation and logic in the real world editors, S. Barry Cooper, Andrea Sorbi |
| title_fullStr | Computability in context computation and logic in the real world editors, S. Barry Cooper, Andrea Sorbi |
| title_full_unstemmed | Computability in context computation and logic in the real world editors, S. Barry Cooper, Andrea Sorbi |
| title_short | Computability in context |
| title_sort | computability in context computation and logic in the real world |
| title_sub | computation and logic in the real world |
| topic | Computable functions Computational intelligence Set theory Mathematics / Philosophy |
| topic_facet | Computable functions Computational intelligence Set theory Mathematics / Philosophy |
| url | http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc |
| work_keys_str_mv | AT coopersb computabilityincontextcomputationandlogicintherealworld AT sorbiandrea computabilityincontextcomputationandlogicintherealworld |