Turing’s revolution: the impact of his ideas about computability
Gespeichert in:
Weitere beteiligte Personen: | , |
---|---|
Format: | Elektronisch E-Book |
Sprache: | Englisch |
Veröffentlicht: |
[Basel]
Birkhäuser
[2015]
|
Schlagwörter: | |
Links: | https://doi.org/10.1007/978-3-319-22156-4 https://doi.org/10.1007/978-3-319-22156-4 https://doi.org/10.1007/978-3-319-22156-4 https://doi.org/10.1007/978-3-319-22156-4 https://doi.org/10.1007/978-3-319-22156-4 https://doi.org/10.1007/978-3-319-22156-4 https://doi.org/10.1007/978-3-319-22156-4 https://doi.org/10.1007/978-3-319-22156-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826488&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=028826488&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
Umfang: | 1 Online Ressource (XXIV, 329 Seiten, 18 illus., 1 illus. in color) |
ISBN: | 9783319221564 |
DOI: | 10.1007/978-3-319-22156-4 |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV043408142 | ||
003 | DE-604 | ||
005 | 20200930 | ||
007 | cr|uuu---uuuuu | ||
008 | 160225s2015 xx o|||| 00||| eng d | ||
020 | |a 9783319221564 |c Online |9 978-3-319-22156-4 | ||
024 | 7 | |a 10.1007/978-3-319-22156-4 |2 doi | |
035 | |a (OCoLC)944065214 | ||
035 | |a (DE-599)BVBBV043408142 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-91 |a DE-19 |a DE-20 |a DE-739 |a DE-634 |a DE-703 |a DE-861 |a DE-83 | ||
082 | 0 | |a 511.3 |2 23 | |
084 | |a SF 8465 |0 (DE-625)143009: |2 rvk | ||
084 | |a SR 800 |0 (DE-625)143365: |2 rvk | ||
084 | |a MAT 000 |2 stub | ||
245 | 1 | 0 | |a Turing’s revolution |b the impact of his ideas about computability |c Giovanni Sommaruga, Thomas Strahm, editors |
264 | 1 | |a [Basel] |b Birkhäuser |c [2015] | |
264 | 4 | |c © 2015 | |
300 | |a 1 Online Ressource (XXIV, 329 Seiten, 18 illus., 1 illus. in color) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
600 | 1 | 7 | |a Turing, Alan |d 1912-1954 |0 (DE-588)118802976 |2 gnd |9 rswk-swf |
650 | 4 | |a Mathematics | |
650 | 4 | |a Logic | |
650 | 4 | |a History | |
650 | 4 | |a Mathematical logic | |
650 | 4 | |a Mathematical Logic and Foundations | |
650 | 4 | |a History of Mathematical Sciences | |
650 | 4 | |a Geschichte | |
650 | 4 | |a Mathematik | |
650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Turing, Alan |d 1912-1954 |0 (DE-588)118802976 |D p |
689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | 3 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 0 | |8 1\p |5 DE-604 | |
700 | 1 | |a Sommaruga, Giovanni |4 edt | |
700 | 1 | |a Strahm, Thomas |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-22155-7 |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22156-4 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826488&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826488&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
912 | |a ZDB-2-SMA | ||
940 | 1 | |q UBY_PDA_SMA | |
940 | 1 | |q ZDB-2-SMA_2015 | |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028826488 | |
966 | e | |u https://doi.org/10.1007/978-3-319-22156-4 |l DE-634 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-22156-4 |l DE-861 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-22156-4 |l DE-91 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-22156-4 |l DE-19 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-22156-4 |l DE-703 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-22156-4 |l DE-20 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-22156-4 |l DE-739 |p ZDB-2-SMA |x Verlag |3 Volltext |
Datensatz im Suchindex
DE-BY-TUM_katkey | 2186031 |
---|---|
_version_ | 1821932436313866240 |
adam_text | TURING’S REVOLUTION
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK PROVIDES AN OVERVIEW OF THE CONFLUENCE OF IDEAS IN TURING’S
ERA AND WORK AND EXAMINES THE IMPACT OF HIS WORK ON MATHEMATICAL LOGIC
AND THEORETICAL COMPUTER SCIENCE. IT COMBINES CONTRIBUTIONS BY
WELL-KNOWN SCIENTISTS ON THE HISTORY AND PHILOSOPHY OF COMPUTABILITY
THEORY AS WELL AS ON GENERALISED TURING COMPUTABILITY. BY LOOKING AT THE
ROOTS AND AT THE PHILOSOPHICAL AND TECHNICAL INFLUENCE OF TURING’S
WORK, IT IS POSSIBLE TO GATHER NEW PERSPECTIVES AND NEW RESEARCH TOPICS
WHICH MIGHT BE CONSIDERED AS A CONTINUATION OF TURING’S WORKING IDEAS
WELL INTO THE 21ST CENTURY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
TURING’S REVOLUTION
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE (MARTIN DAVIS).-I INTRODUCTION (SOMMARUGA, STRAHM).-II TURING
AND THE HISTORY OF COMPUTABILITY THEORY
1. CONCEPTUAL CONFLUENCE IN 1936: POST & TURING, MARTIN DAVIS AND
WILFRIED SIEG
2. ALGORITHMS: FROM AL-KHWARIZMI TO TURING AND BEYOND, WOLFGANG THOMAS
3. THE STORED-PROGRAM UNIVERSAL COMPUTER: DID ZUSE ANTICIPATE TURING AND
VON NEUMANN? JACK COPELAND AND GIOVANNI SOMMARUGA
III GENERALIZING TURING COMPUTABILITY THEORY
1. THESES FOR COMPUTATION AND RECURSION ON CONCRETE AND ABSTRACT
STRUCTURES, SOLOMON FEFERMAN
2. GENERALIZING COMPUTABILITY THEORY TO ABSTRACT ALGEBRAS, JOHN V.
TUCKER AND JEFFREY ZUCKER
3. DISCRETE TRANSFINITE COMPUTATION, PHILIP WELCH
4. SEMANTICS-TO-SYNTAX ANALYSES OF ALGORITHMS, YURI GUREVICH
5. THE INFORMATION CONTENT OF TYPICAL REALS, GEORGE BARMPALIAS AND ANDY
LEWIS-PYE
6. PROOF-THEORETIC ANALYSIS BY ITERATED REFLECTION, LEV BEKLEMISHEV.-IV
PHILOSOPHICAL REFLECTIONS
1. ALAN TURING AND THE FOUNDATION OF COMPUTER SCIENCE, JURAJ HROMKOVIC
2. PROVING THINGS ABOUT THE INFORMAL, STEWART SHAPIRO
3. WHY TURING’S THESIS IS NOT A THESIS, ROBERT SOARE
4. INCOMPUTABILITY, EMERGENT, AND HIGHER TYPE COMPUTATION, S. BARRY
COOPER
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author2 | Sommaruga, Giovanni Strahm, Thomas |
author2_role | edt edt |
author2_variant | g s gs t s ts |
author_facet | Sommaruga, Giovanni Strahm, Thomas |
building | Verbundindex |
bvnumber | BV043408142 |
classification_rvk | SF 8465 SR 800 |
classification_tum | MAT 000 |
collection | ZDB-2-SMA |
ctrlnum | (OCoLC)944065214 (DE-599)BVBBV043408142 |
dewey-full | 511.3 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.3 |
dewey-search | 511.3 |
dewey-sort | 3511.3 |
dewey-tens | 510 - Mathematics |
discipline | Informatik Mathematik |
doi_str_mv | 10.1007/978-3-319-22156-4 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03375nam a2200721zc 4500</leader><controlfield tag="001">BV043408142</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200930 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160225s2015 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319221564</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22156-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22156-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944065214</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043408142</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SF 8465</subfield><subfield code="0">(DE-625)143009:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SR 800</subfield><subfield code="0">(DE-625)143365:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Turing’s revolution</subfield><subfield code="b">the impact of his ideas about computability</subfield><subfield code="c">Giovanni Sommaruga, Thomas Strahm, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Basel]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XXIV, 329 Seiten, 18 illus., 1 illus. in color)</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="600" ind1="1" ind2="7"><subfield code="a">Turing, Alan</subfield><subfield code="d">1912-1954</subfield><subfield code="0">(DE-588)118802976</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">History of Mathematical Sciences</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Turing, Alan</subfield><subfield code="d">1912-1954</subfield><subfield code="0">(DE-588)118802976</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sommaruga, Giovanni</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strahm, Thomas</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-3-319-22155-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22156-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028826488&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028826488&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBY_PDA_SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2015</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028826488</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22156-4</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-22156-4</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-22156-4</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-22156-4</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-22156-4</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-22156-4</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-22156-4</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV043408142 |
illustrated | Not Illustrated |
indexdate | 2024-12-20T17:35:41Z |
institution | BVB |
isbn | 9783319221564 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028826488 |
oclc_num | 944065214 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-703 DE-861 DE-83 |
owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-703 DE-861 DE-83 |
physical | 1 Online Ressource (XXIV, 329 Seiten, 18 illus., 1 illus. in color) |
psigel | ZDB-2-SMA UBY_PDA_SMA ZDB-2-SMA_2015 |
publishDate | 2015 |
publishDateSearch | 2015 |
publishDateSort | 2015 |
publisher | Birkhäuser |
record_format | marc |
spellingShingle | Turing’s revolution the impact of his ideas about computability Turing, Alan 1912-1954 (DE-588)118802976 gnd Mathematics Logic History Mathematical logic Mathematical Logic and Foundations History of Mathematical Sciences Geschichte Mathematik Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
subject_GND | (DE-588)118802976 (DE-588)4037944-9 (DE-588)4036202-4 (DE-588)4037951-6 |
title | Turing’s revolution the impact of his ideas about computability |
title_auth | Turing’s revolution the impact of his ideas about computability |
title_exact_search | Turing’s revolution the impact of his ideas about computability |
title_full | Turing’s revolution the impact of his ideas about computability Giovanni Sommaruga, Thomas Strahm, editors |
title_fullStr | Turing’s revolution the impact of his ideas about computability Giovanni Sommaruga, Thomas Strahm, editors |
title_full_unstemmed | Turing’s revolution the impact of his ideas about computability Giovanni Sommaruga, Thomas Strahm, editors |
title_short | Turing’s revolution |
title_sort | turing s revolution the impact of his ideas about computability |
title_sub | the impact of his ideas about computability |
topic | Turing, Alan 1912-1954 (DE-588)118802976 gnd Mathematics Logic History Mathematical logic Mathematical Logic and Foundations History of Mathematical Sciences Geschichte Mathematik Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
topic_facet | Turing, Alan 1912-1954 Mathematics Logic History Mathematical logic Mathematical Logic and Foundations History of Mathematical Sciences Geschichte Mathematik Logik Mathematische Logik |
url | https://doi.org/10.1007/978-3-319-22156-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826488&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=028826488&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT sommarugagiovanni turingsrevolutiontheimpactofhisideasaboutcomputability AT strahmthomas turingsrevolutiontheimpactofhisideasaboutcomputability |