| Document Type
|
:
|
BL
|
| Record Number
|
:
|
738429
|
| Doc. No
|
:
|
b558342
|
| Main Entry
|
:
|
by Erwin Engeler.
|
| Title & Author
|
:
|
The Combinatory Programme\ by Erwin Engeler.
|
| Publication Statement
|
:
|
Boston, MA: Birkhäuser Boston, 1995
|
| Series Statement
|
:
|
Progress in theoretical computer science.
|
| Page. NO
|
:
|
(156 pages)
|
| ISBN
|
:
|
1461242681
|
|
|
:
|
: 1461287162
|
|
|
:
|
: 9781461242680
|
|
|
:
|
: 9781461287162
|
| Contents
|
:
|
I. Historical and Philosophical Background --;1. From Protologics to Combinatory Algebras --;2. A Brief Recapitulation of Combinatory Algebra --;3. An Algebraization of Universal Algebra --;4. Objects Reflected in Their Properties --;II. An Algebraization of Universal Algebra --;Axiomatic Extensions --;Aspects of Universal Algebra in Combinatory Logic --;Remarks on an Algebraic Theory of Recursive Degrees --;III. An Algebraization of Algorithmics --;An Algebraization of Hierarchical and Recursive Distributed Processes --;Algebra of Approximate Computation --;IV. Relations to Logical Computer-Algebraic Calculi --;Solving Discontinuous Differential Equations --;Types and Consistency --;References.
|
| Abstract
|
:
|
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians.
|
| Subject
|
:
|
Combinatorial analysis.
|
| Subject
|
:
|
Computer science -- Mathematics.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
QA9.5B947 1995
|
| Added Entry
|
:
|
Erwin Engeler
|