Theoretical Computer Science and General Issues

How the World Computes

Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

Editors: Cooper, Barry S., Dawar, Anuj, Löwe, Benedikt (Eds.)

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-30870-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-642-30869-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012.
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

Table of contents (75 chapters)

  • Ordinal Analysis and the Infinite Ramsey Theorem

    Afshari, Bahareh (et al.)

    Pages 1-10

  • Curiouser and Curiouser: The Link between Incompressibility and Complexity

    Allender, Eric

    Pages 11-16

  • Information and Logical Discrimination

    Allo, Patrick

    Pages 17-28

  • Robustness of Logical Depth

    Antunes, Luís (et al.)

    Pages 29-34

  • Turing’s Normal Numbers: Towards Randomness

    Becher, Verónica

    Pages 35-45

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-30870-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-642-30869-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
How the World Computes
Book Subtitle
Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
Editors
  • Barry S. Cooper
  • Anuj Dawar
  • Benedikt Löwe
Series Title
Theoretical Computer Science and General Issues
Series Volume
7318
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-30870-3
DOI
10.1007/978-3-642-30870-3
Softcover ISBN
978-3-642-30869-7
Edition Number
1
Number of Pages
XVIII, 756
Number of Illustrations and Tables
42 b/w illustrations
Topics