• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik
    4. Matematikens grunder

    Turing’s Revolution

    The Impact of His Ideas about Computability

    AvGiovanni Sommaruga,Thomas Strahm

    Häftad, Engelska, 2018

    1 300 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com

    Produktinformation

    • Utgivningsdatum:2018-03-30
    • Mått:155 x 235 x 25 mm
    • Vikt:550 g
    • Format:Häftad
    • Språk:Engelska
    • Antal sidor:331
    • Förlag:Birkhauser Verlag AG
    • ISBN:9783319793801

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    • Matematikens filosofi inom Naturvetenskap och teknik
    • Filosofiska discipliner inom Filosofi och religion

    Mer om författaren

    Giovanni Sommaruga is Professor for philosopy of logic and mathematics at ETH Zurich, Switzerland. Thomas Strahm is Professor for mathematical logic and theoretical computer science at the University of Berne, Switzerland.

    Recensioner i media

    “There is a wide variety of content … in this collection about Turing’s ideas and what they meant for mathematics and computer science. … People of all mathematical and computer science backgrounds will find something of interest in this collection. Educators that would like to go deeper into the meaning of computability and algorithms can find material that will set the stage for discussions and research papers on the meaning and impact of the life and work of Alan Turing.” (Charles Ashbacher, MAA Reviews, maa.org, February, 2016)

    Innehållsförteckning

    • 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.