Weiter zum Inhalt
UB der TUM
OPAC
Universitätsbibliothek
Technische Universität München
  • Temporäre Merkliste: 0 temporär gemerkt (Voll)
  • Hilfe
    • Kontakt
    • Suchtipps
    • Informationen Fernleihe
  • Chat
  • Tools
    • Suchhistorie
    • Freie Fernleihe
    • Erwerbungsvorschlag
  • English
  • Konto

    Konto

    • Ausgeliehen
    • Bestellt
    • Sperren/Gebühren
    • Profil
    • Suchhistorie
  • Log out
  • Login
  • Bücher & Journals
  • Papers
Erweitert
  • Turing’s revolution
  • Zitieren
  • Als E-Mail versenden
  • Drucken
  • Datensatz exportieren
    • Exportieren nach RefWorks
    • Exportieren nach EndNoteWeb
    • Exportieren nach EndNote
    • Exportieren nach BibTeX
    • Exportieren nach RIS
  • Zur Merkliste hinzufügen
  • Temporär merken Aus der temporären Merkliste entfernen
  • Permalink
Buchumschlag
Turing’s revolution: the impact of his ideas about computability
Gespeichert in:
Bibliographische Detailangaben
Weitere beteiligte Personen: Sommaruga, Giovanni (HerausgeberIn), Strahm, Thomas (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: [Basel] Birkhäuser [2015]
Schlagwörter:
Turing, Alan > 1912-1954
Mathematics
Logic
History
Mathematical logic
Mathematical Logic and Foundations
History of Mathematical Sciences
Geschichte
Mathematik
Logik
Mathematische Logik
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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=028826488&amp;sequence=000001&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=028826488&amp;sequence=000003&amp;line_number=0002&amp;func_code=DB_RECORDS&amp;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
  • Verfügbarkeit
Bestellen (Login erforderlich)
Online lesen
Inhaltsverzeichnis
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Kontakt