Advertisement

Computation, Physics and Beyond

International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

  • Michael J. Dinneen
  • Bakhadyr Khoussainov
  • André Nies

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7160)

Table of contents

  1. Front Matter
  2. Life Story

  3. Complexity, Computability and Randomness

    1. Laurent Bienvenu, Alexander Shen
      Pages 31-45
    2. Douglas S. Bridges, Luminita S. Vîţă
      Pages 46-58
    3. Paul Brodhead, Rod Downey, Keng Meng Ng
      Pages 59-70
    4. Cezar Câmpeanu
      Pages 71-80
    5. Monica Dumitrescu
      Pages 94-104
    6. Ziyuan Gao, Frank Stephan, Guohua Wu, Akihiro Yamamoto
      Pages 120-139
    7. Helmut Jürgensen
      Pages 140-158
    8. Antonín Kučera, André Nies
      Pages 159-173
    9. Ludwig Staiger
      Pages 194-202
    10. Hector Zenil
      Pages 224-240
    11. Marius Zimand
      Pages 241-246
  4. Physics, Philosophy and Computation

    1. S. Barry Cooper
      Pages 252-267
    2. V. Kruglov, K. A. Makarov, B. Pavlov, A. Yafyasov
      Pages 268-288
    3. Giuseppe Longo, Maël Montévil
      Pages 289-308
    4. Stephen Wolfram
      Pages 315-319
  5. Algorithms, Automata and Formal Models

    1. Ashraful Alam, Igor Rivin, Ileana Streinu
      Pages 320-329
    2. R. Brijder, A. Ehrenfeucht, G. Rozenberg
      Pages 330-342
    3. Haiming Chen, Sheng Yu
      Pages 343-356
    4. Lila Kari, Shinnosuke Seki, Zhi Xu
      Pages 357-375
    5. Gheorghe Păun, Mario J. Pérez-Jiménez
      Pages 376-387
    6. Xiaoxue Piao, Kai Salomaa
      Pages 388-402
  6. Back Matter

About this book

Introduction

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012.

Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area.

The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).

Keywords

automatic theorem proving computational complexity theory quantum measurement theory small turing machines state complexity

Editors and affiliations

  • Michael J. Dinneen
    • 1
  • Bakhadyr Khoussainov
    • 1
  • André Nies
    • 1
  1. 1.Department of Computer ScienceUniversity of AucklandAucklandNew Zealand

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-27654-5
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-27653-8
  • Online ISBN 978-3-642-27654-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Engineering