Turing's legacy: developments from Turing's ideas in logic
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas fr...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2014
|
| Schriftenreihe: | Lecture notes in logic
42 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 UBY01 URL des Erstveröffentlichers |
| Zusammenfassung: | Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (x, 529 pages) |
| ISBN: | 9781107338579 |
| DOI: | 10.1017/CBO9781107338579 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043941415 | ||
| 003 | DE-604 | ||
| 005 | 20240403 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781107338579 |c Online |9 978-1-107-33857-9 | ||
| 024 | 7 | |a 10.1017/CBO9781107338579 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781107338579 | ||
| 035 | |a (OCoLC)892277399 | ||
| 035 | |a (DE-599)BVBBV043941415 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-706 | ||
| 082 | 0 | |a 510.92 |2 23 | |
| 084 | |a SE 337 |0 (DE-625)142750:13801 |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Turing's legacy |b developments from Turing's ideas in logic |c edited by Rod Downey, Victoria University of Wellington |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2014 | |
| 300 | |a 1 online resource (x, 529 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 42 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a Turing's legacy: developments from Turing's ideas in logic / Rod Downey -- 1. Computability and analysis: the legacy of Alan Turing / Jeremy Avigad and Vasco Brattka -- 2. Alan Turing and the other theory of computation (expanded) / Lenore Blum -- 3. Turing in Quantumland / Harry Buhrman -- 4. Computability theory, algorithmic randomness and Turing's anticipation / Rod Downey -- 5. Computable model theory / Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov -- 6. Towards common-sense reasoning via conditional simulation: legacies of Turing in artificial intelligence / Cameron E. Freer, Daniel M. Roy, and Joshua B. Tenenbaum -- 7. Mathematics in the age of the Turing machine / Thomas C. Hales -- 8. Turing and the development of computational complexity / Steven Homer and Alan L. Selman -- 9. Turing machines to word problems / Charles F. Miller, III -- 10. Musings on Turing's thesis / Anil Nerode -- 11. Higher generalizations of the Turing model / Dag Normann -- 12. Step by recursive step: Church's analysis of effective calculability / Wilfried Sieg -- 13. Turing and the discovery of computability / Robert Irving Soare -- 14. Transfinite machine models / P.D. Welch | |
| 520 | |a Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later | ||
| 600 | 1 | 4 | |a Turing, Alan Mathison / 1912-1954 |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Turing-Maschine |0 (DE-588)4203525-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Church-These |0 (DE-588)4444529-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Church-These |0 (DE-588)4444529-5 |D s |
| 689 | 0 | 1 | |a Turing-Maschine |0 (DE-588)4203525-9 |D s |
| 689 | 0 | 2 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Downey, R. G. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-107-04348-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-107-63858-7 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9781107338579 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029350385 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9781107338579 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9781107338579 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9781107338579 |l UBY01 |p ZDB-20-CBO |q UBY_PDA_CBO_Kauf_24 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176883105923072 |
|---|---|
| any_adam_object | |
| author2 | Downey, R. G. |
| author2_role | edt |
| author2_variant | r g d rg rgd |
| author_facet | Downey, R. G. |
| building | Verbundindex |
| bvnumber | BV043941415 |
| classification_rvk | SE 337 SK 130 |
| collection | ZDB-20-CBO |
| contents | Turing's legacy: developments from Turing's ideas in logic / Rod Downey -- 1. Computability and analysis: the legacy of Alan Turing / Jeremy Avigad and Vasco Brattka -- 2. Alan Turing and the other theory of computation (expanded) / Lenore Blum -- 3. Turing in Quantumland / Harry Buhrman -- 4. Computability theory, algorithmic randomness and Turing's anticipation / Rod Downey -- 5. Computable model theory / Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov -- 6. Towards common-sense reasoning via conditional simulation: legacies of Turing in artificial intelligence / Cameron E. Freer, Daniel M. Roy, and Joshua B. Tenenbaum -- 7. Mathematics in the age of the Turing machine / Thomas C. Hales -- 8. Turing and the development of computational complexity / Steven Homer and Alan L. Selman -- 9. Turing machines to word problems / Charles F. Miller, III -- 10. Musings on Turing's thesis / Anil Nerode -- 11. Higher generalizations of the Turing model / Dag Normann -- 12. Step by recursive step: Church's analysis of effective calculability / Wilfried Sieg -- 13. Turing and the discovery of computability / Robert Irving Soare -- 14. Transfinite machine models / P.D. Welch |
| ctrlnum | (ZDB-20-CBO)CR9781107338579 (OCoLC)892277399 (DE-599)BVBBV043941415 |
| dewey-full | 510.92 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.92 |
| dewey-search | 510.92 |
| dewey-sort | 3510.92 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/CBO9781107338579 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04722nmm a2200601zcb4500</leader><controlfield tag="001">BV043941415</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240403 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107338579</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-107-33857-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9781107338579</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781107338579</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)892277399</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043941415</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-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.92</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SE 337</subfield><subfield code="0">(DE-625)142750:13801</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="245" ind1="1" ind2="0"><subfield code="a">Turing's legacy</subfield><subfield code="b">developments from Turing's ideas in logic</subfield><subfield code="c">edited by Rod Downey, Victoria University of Wellington</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 529 pages)</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="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">42</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Turing's legacy: developments from Turing's ideas in logic / Rod Downey -- 1. Computability and analysis: the legacy of Alan Turing / Jeremy Avigad and Vasco Brattka -- 2. Alan Turing and the other theory of computation (expanded) / Lenore Blum -- 3. Turing in Quantumland / Harry Buhrman -- 4. Computability theory, algorithmic randomness and Turing's anticipation / Rod Downey -- 5. Computable model theory / Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov -- 6. Towards common-sense reasoning via conditional simulation: legacies of Turing in artificial intelligence / Cameron E. Freer, Daniel M. Roy, and Joshua B. Tenenbaum -- 7. Mathematics in the age of the Turing machine / Thomas C. Hales -- 8. Turing and the development of computational complexity / Steven Homer and Alan L. Selman -- 9. Turing machines to word problems / Charles F. Miller, III -- 10. Musings on Turing's thesis / Anil Nerode -- 11. Higher generalizations of the Turing model / Dag Normann -- 12. Step by recursive step: Church's analysis of effective calculability / Wilfried Sieg -- 13. Turing and the discovery of computability / Robert Irving Soare -- 14. Transfinite machine models / P.D. Welch</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Turing, Alan Mathison / 1912-1954</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Church-These</subfield><subfield code="0">(DE-588)4444529-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Church-These</subfield><subfield code="0">(DE-588)4444529-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Downey, R. G.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-107-04348-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-107-63858-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9781107338579</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029350385</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781107338579</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781107338579</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781107338579</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBY_PDA_CBO_Kauf_24</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043941415 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:15Z |
| institution | BVB |
| isbn | 9781107338579 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029350385 |
| oclc_num | 892277399 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-706 |
| owner_facet | DE-12 DE-92 DE-706 |
| physical | 1 online resource (x, 529 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UBY_PDA_CBO_Kauf_24 |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Turing's legacy developments from Turing's ideas in logic edited by Rod Downey, Victoria University of Wellington Cambridge Cambridge University Press 2014 1 online resource (x, 529 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 42 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Turing's legacy: developments from Turing's ideas in logic / Rod Downey -- 1. Computability and analysis: the legacy of Alan Turing / Jeremy Avigad and Vasco Brattka -- 2. Alan Turing and the other theory of computation (expanded) / Lenore Blum -- 3. Turing in Quantumland / Harry Buhrman -- 4. Computability theory, algorithmic randomness and Turing's anticipation / Rod Downey -- 5. Computable model theory / Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov -- 6. Towards common-sense reasoning via conditional simulation: legacies of Turing in artificial intelligence / Cameron E. Freer, Daniel M. Roy, and Joshua B. Tenenbaum -- 7. Mathematics in the age of the Turing machine / Thomas C. Hales -- 8. Turing and the development of computational complexity / Steven Homer and Alan L. Selman -- 9. Turing machines to word problems / Charles F. Miller, III -- 10. Musings on Turing's thesis / Anil Nerode -- 11. Higher generalizations of the Turing model / Dag Normann -- 12. Step by recursive step: Church's analysis of effective calculability / Wilfried Sieg -- 13. Turing and the discovery of computability / Robert Irving Soare -- 14. Transfinite machine models / P.D. Welch Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later Turing, Alan Mathison / 1912-1954 Computational complexity Machine theory Turing-Maschine (DE-588)4203525-9 gnd rswk-swf Church-These (DE-588)4444529-5 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Church-These (DE-588)4444529-5 s Turing-Maschine (DE-588)4203525-9 s Berechnungstheorie (DE-588)4005581-4 s 2\p DE-604 Downey, R. G. edt Erscheint auch als Druckausgabe 978-1-107-04348-0 Erscheint auch als Druckausgabe 978-1-107-63858-7 https://doi.org/10.1017/CBO9781107338579 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Turing's legacy developments from Turing's ideas in logic Turing's legacy: developments from Turing's ideas in logic / Rod Downey -- 1. Computability and analysis: the legacy of Alan Turing / Jeremy Avigad and Vasco Brattka -- 2. Alan Turing and the other theory of computation (expanded) / Lenore Blum -- 3. Turing in Quantumland / Harry Buhrman -- 4. Computability theory, algorithmic randomness and Turing's anticipation / Rod Downey -- 5. Computable model theory / Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov -- 6. Towards common-sense reasoning via conditional simulation: legacies of Turing in artificial intelligence / Cameron E. Freer, Daniel M. Roy, and Joshua B. Tenenbaum -- 7. Mathematics in the age of the Turing machine / Thomas C. Hales -- 8. Turing and the development of computational complexity / Steven Homer and Alan L. Selman -- 9. Turing machines to word problems / Charles F. Miller, III -- 10. Musings on Turing's thesis / Anil Nerode -- 11. Higher generalizations of the Turing model / Dag Normann -- 12. Step by recursive step: Church's analysis of effective calculability / Wilfried Sieg -- 13. Turing and the discovery of computability / Robert Irving Soare -- 14. Transfinite machine models / P.D. Welch Turing, Alan Mathison / 1912-1954 Computational complexity Machine theory Turing-Maschine (DE-588)4203525-9 gnd Church-These (DE-588)4444529-5 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4203525-9 (DE-588)4444529-5 (DE-588)4005581-4 (DE-588)4143413-4 |
| title | Turing's legacy developments from Turing's ideas in logic |
| title_auth | Turing's legacy developments from Turing's ideas in logic |
| title_exact_search | Turing's legacy developments from Turing's ideas in logic |
| title_full | Turing's legacy developments from Turing's ideas in logic edited by Rod Downey, Victoria University of Wellington |
| title_fullStr | Turing's legacy developments from Turing's ideas in logic edited by Rod Downey, Victoria University of Wellington |
| title_full_unstemmed | Turing's legacy developments from Turing's ideas in logic edited by Rod Downey, Victoria University of Wellington |
| title_short | Turing's legacy |
| title_sort | turing s legacy developments from turing s ideas in logic |
| title_sub | developments from Turing's ideas in logic |
| topic | Turing, Alan Mathison / 1912-1954 Computational complexity Machine theory Turing-Maschine (DE-588)4203525-9 gnd Church-These (DE-588)4444529-5 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Turing, Alan Mathison / 1912-1954 Computational complexity Machine theory Turing-Maschine Church-These Berechnungstheorie Aufsatzsammlung |
| url | https://doi.org/10.1017/CBO9781107338579 |
| work_keys_str_mv | AT downeyrg turingslegacydevelopmentsfromturingsideasinlogic |