The Combinatory Programme
Author:   E. Engeler ,  K. Aberer ,  B. Amrhein ,  O. Gloor
Publisher:   Birkhauser Verlag AG
ISBN:  

9783764338015


Pages:   152
Publication Date:   November 1994
Replaced By:   9780817638016
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $192.95 Quantity:  
Add to Cart

Share |

The Combinatory Programme


Add your own review!

Overview

The purpose of the programme in combinatory logic is to rework the mathematical foundations of computer science on a theory of pure thought. It begins from the idea that, if logic is to be the science of correctly dealing with thought-objects, the underlying theory must be in some sense a part of, or at least a preliminary to, its structure, ie, a protologic. From this idea a combinatory algebra is constructed, using a programmatic mixture of the classical axiomatic and set-theoretic approaches. This text shows that sufficiently rich combinatory algebras can serve as a platform from which to develop the algorithmic aspects of many areas in computer science, mathematics and their applications. It should be of interest to those studying universal algebra, logic and computer algebra.

Full Product Details

Author:   E. Engeler ,  K. Aberer ,  B. Amrhein ,  O. Gloor
Publisher:   Birkhauser Verlag AG
Imprint:   Birkhauser Verlag AG
ISBN:  

9783764338015


ISBN 10:   3764338016
Pages:   152
Publication Date:   November 1994
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Replaced By:   9780817638016
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Part 1 Historical and philosophical background: from protologics to combinatory algebras; a brief recapitulation of combinatory algebra; an algebraization of universal algebra; objects relected in their properties. Part 2 An algebraization of universal algebra: axiomatic extensions; aspects of universal algebra in combinatory logic; remarks on an algebraic theory of recursive degrees. Part 3 An algebraization of formal properties of objects: an algebraization of hierarchical and recursive distributed processes; algebra of approximate computation. Part 4 Relations to logical and computer-algebraic calculi: solving discontinuous ordinary differential equations; types and consistency.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now