The Incomputable

Journeys Beyond the Turing Barrier

  • S. Barry Cooper
  • Mariya I. Soskova
Part of the Theory and Applications of Computability book series (THEOAPPLCOM)

Table of contents

  1. Front Matter
    Pages i-x
  2. Mariya I. Soskova
    Pages 1-8
  3. Challenging Turing: Extended Models of Computation

    1. Front Matter
      Pages 9-9
    2. Hristo Ganchev, Dimiter Skordev
      Pages 11-46
    3. Kate Clements, Fay Dowker, Petros Wallden
      Pages 47-61
  4. The Search for “Natural” Examples of Incomputable Objects

  5. Mind, Matter and Computation

    1. Front Matter
      Pages 121-121
    2. Vlatko Vedral
      Pages 123-131
  6. The Nature of Information: Complexity and Randomness

    1. Front Matter
      Pages 141-141
    2. Antonina Kolokolova
      Pages 143-168
    3. Cristian S. Calude
      Pages 169-181
    4. André Nies
      Pages 183-216
  7. The Mathematics of Emergence and Morphogenesis

    1. Front Matter
      Pages 217-217
    2. Thomas E. Woolley, Ruth E. Baker, Philip K. Maini
      Pages 219-235
    3. Aaron Sloman
      Pages 237-292

About this book

Introduction

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis.

This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.

Keywords

Computability Mathematical logic Quantum Computing Turing Barrier Turing Test

Editors and affiliations

  • S. Barry Cooper
    • 1
  • Mariya I. Soskova
    • 2
  1. 1.School of MathematicsUniversity of LeedsLeedsUnited Kingdom
  2. 2.Dept. of Mathematical Logic & ApplicationsSofia UniversitySofiaBulgaria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-43669-2
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-43667-8
  • Online ISBN 978-3-319-43669-2
  • Series Print ISSN 2190-619X
  • Series Online ISSN 2190-6203
  • About this book