Reflexive Structures

Luis E. Sanchis

ISBN 10: 1461283868 / ISBN 13: 9781461283867

Published by Springer, Copernicus Sep 2011, 2011

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.

Seller Inventory # 9781461283867

Bibliographic Details

• Title: Reflexive Structures
• Publisher: Springer, Copernicus Sep 2011
• Publication Date: 2011
• Language: English
• ISBN 10: 1461283868
• ISBN 13: 9781461283867
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 14D millimeters 235 millimeters width by 155 millimeters height by 14 millimeters depth
• Weight: 382 grams

About this title

Synopsis

Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics.