Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability

ISBN-13: 9789401051651 / Angielski / Miękka / 2012 / 320 str.

Dimiter G. Skordev

Opis

One service mathematics bas rendered the 'Bt moi, ...si j'avait su comment en revenir, je human race. It bas put common sense back n'y semis point aU6.' where it belongs, on the topmost shelf next to Jules Verne the dusty canister labelled 'discarded nonsense'. BrieT.Bell The series is divergent; therefore we may be able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlineari- ties abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sci- ences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One ser- vice topology has rendered mathematical physics ...'; 'One service logic has rendered computer science ...'; 'One service category theory has rendered mathematics ...'. All arguably true. And all statements obtainable this way form part of the raison d' 8tre of this series.

Spis treści

Preface. I. Computational Structures and Computability on Them. II. Combinatory Spaces. III. Computability in Iterative Combinatory Spaces. Appendix: A Survey of Examples of Combinatory Spaces. References. Additional Bibliography. Index of Names. Index of Definitions.