Happy Holidays! Over 120,000 eBooks at just 19.99 each— Pick a favorite today

Theory and Applications of Computability

The Incomputable

Journeys Beyond the Turing Barrier

Editors: Cooper, S. Barry, Soskova, Mariya I. (Eds.)

  • Core aspect of Turing's scientific legacy, uniting the areas of (in)computability theory and Big Science
  • Valuable for researchers in the areas of theoretical computer science, mathematical logic, and philosophy
  • Examines why not all features of the real world are captured by classical models of computability
see more benefits

Buy this book

eBook £70.00
price for United Kingdom (gross)
  • ISBN 978-3-319-43669-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover £88.00
price for United Kingdom (gross)
  • ISBN 978-3-319-43667-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

About the authors

Prof. S. Barry Cooper was a Professor of Pure Mathematics at the University of Leeds. He was the founding President of the Computability in Europe Association, and a prolific author and editor in the domain of computability. He championed Alan Turing's achievements in logic and computer science, and in particular he motivated and organized cross-disciplinary collaborations, among them the events, publications and broadcasts of the Alan Turing Year in 2012.

Dr. Mariya I. Soskova is an associate professor in the Dept. of Mathematical Logic and Applications in Sofia University. She was recently a visiting scholar at the University of California, and a visiting seminar professor at the Dept. of Mathematics at the University of Wisconsin, Madison.

Table of contents (14 chapters)

  • Introduction

    Soskova, Mariya I.

    Pages 1-8

  • Ivan Soskov: A Life in Computability

    Ganchev, Hristo (et al.)

    Pages 11-46

  • Physical Logic

    Clements, Kate (et al.)

    Pages 47-61

  • From Quantum Foundations via Natural Language Meaning to a Theory of Everything

    Coecke, Bob

    Pages 63-80

  • Some Recent Research Directions in the Computably Enumerable Sets

    Cholak, Peter A.

    Pages 83-93

Buy this book

eBook £70.00
price for United Kingdom (gross)
  • ISBN 978-3-319-43669-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover £88.00
price for United Kingdom (gross)
  • ISBN 978-3-319-43667-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Incomputable
Book Subtitle
Journeys Beyond the Turing Barrier
Editors
  • S. Barry Cooper
  • Mariya I. Soskova
Series Title
Theory and Applications of Computability
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-43669-2
DOI
10.1007/978-3-319-43669-2
Hardcover ISBN
978-3-319-43667-8
Series ISSN
2190-619X
Edition Number
1
Number of Pages
X, 292
Number of Illustrations and Tables
10 illustrations in colour
Topics