Handbook of Computability Theory

E.R. Griffor

ISBN 10: 0444898824 / ISBN 13: 9780444898821

Published by Elsevier Science and Technology, US, 1999

About this Item

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

Seller Inventory # LU-9780444898821

Bibliographic Details

• Title: Handbook of Computability Theory
• Publisher: Elsevier Science and Technology, US
• Publication Date: 1999
• Language: English
• ISBN 10: 0444898824
• ISBN 13: 9780444898821
• Binding: Hardback
• Edition: Illustrated.
• Condition: New
• Dimensions: 15.6W x 3.96H x 23.39D centimeters 15.6 centimeters width by 3.96 centimeters height by 23.39 centimeters depth
• Weight: 1250 grams

About this title

Synopsis

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.