New Computational Paradigms (Paperback)

Barry S. Cooper

ISBN 10: 3540261796 / ISBN 13: 9783540261797

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2005

About this Item

Paperback. This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005.The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. The papers are organized in six special sections on biological computation, complexity, epistemology and methodology of computing, proofs and computation, real computation, and relative computation. Constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9783540261797

Bibliographic Details

• Title: New Computational Paradigms (Paperback)
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
• Publication Date: 2005
• Language: English
• ISBN 10: 3540261796
• ISBN 13: 9783540261797
• Binding: Paperback
• Condition: new

About this title

Synopsis

CiE 2005: New Computational Paradigms http: //www. illc. uva. nl/CiE/ ThecooperationComputabilityinEurope (CiE)isaninformalEuropeannetwork covering computability in theoretical computer science and mathematical logic, ranging from application of novel approaches to computation to set-theoretic analysesofin?nitarycomputingmodels. Thecooperationconsistsofelevenmain nodesandincludesover400researchers;itiscoordinatedfromLeeds(UK). More information about CiE can be found in Barry Cooper's introductory paper to this volume (p. 1) and at http: //www. amsta. leeds. ac. uk/pure/staff/cooper/cie. html CiE 2005 was a conference on the special topic "New Computational Pa- digms" and was held in Amsterdam in June 2005. It was initiated by and served as a focus point for the informal cooperation CiE. The topic of "New Com- tational Paradigms" covers connections between computation and physical s- tems (e. g., quantum computation, neural nets, molecular computation) but also higher mathematical models of computation (e. g., in?nitary computation or real computation). Computability theory is central to large areas of theoretical computer science and mathematical logic. Traditionally, the computational model of the Turing machine (or mathematically equivalent models) has been used to reason about computation or computability. For general computability inquiries (with - bounded resources), the choice of the model of computation hardly matters (this fact is encapsulated in the so-called "Church-Turing thesis"); this could change as soon as questions of e?ciency are investigated.