Classical and New Paradigms of Computation and their Complexity Hierarchies

Papers of the conference “Foundations of the Formal Sciences III”

  • Benedikt Löwe
  • Boris Piwinger
  • Thoralf Räsch
Part of the Trends in Logic book series (TREN, volume 23)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Andris Ambainis
    Pages 15-32
  3. Stefan Geschke, Sandra Quickert
    Pages 95-139
  4. Joel David Hamkins
    Pages 141-158
  5. Peter Koepke, Marc van Eijmeren
    Pages 159-169
  6. Elvira Mayordomo Cámara
    Pages 171-186
  7. Szabolcs Mikulás
    Pages 187-205
  8. Ralf Schindler
    Pages 207-222
  9. Back Matter
    Pages 239-259

About these proceedings

Introduction

The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies.

This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research.

Keywords

algebra algorithms classification complexity computation computer computer science forcing logic Mathematica mathematical logic mathematics optimization theoretical computer science time

Editors and affiliations

  • Benedikt Löwe
    • 1
  • Boris Piwinger
    • 2
  • Thoralf Räsch
    • 3
  1. 1.Institute for Logic, Language and ComputationUniversiteit van AmsterdamNetherlands
  2. 2.University of WienAustria
  3. 3.University of PotsdamGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4020-2776-5
  • Copyright Information Kluwer Academic Publishers 2004
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-2775-8
  • Online ISBN 978-1-4020-2776-5