[Combinatorial logic notebook] - A New Kind of Science: The NKS Forum
A New Kind of Science: The NKS Forum
Combinatorial logic notebook(Click here to view the original thread with full colors/images)
Posted by: Jason Cawley
Abstract: This work is an exploration into the fascinating world of Combinatory Logic, inspired by the novel ornithological viewpoint introduced by Raymond Smullyan. The work begins with historical details and is followed by an introduction to the combinatorial properties of bracketed expressions; it continues to the computing of behaviours and genealogies, the solution of combinatorial equations and the development of propositional birds including an assortment of illustrative examples throughout. Finally, comments on the use of birds to algorithmic complexity are mentioned and a list of references is included. The author has developed and made repeated use of this work in his teachings on Functional Programming, Programming Paradigms and Automata and Formal Languages.
Note that "birds" refers to particular combinator rules, whose deducible equivalents are traced like hereditary trees. This is quite an impressive notebook, packed with interesting results about combinator systems. The author developed it during a stay at Wolfram Research as a visiting scholar.
Forum Sponsored by Wolfram Research
© 2004-2013 Wolfram Research, Inc. | Powered by vBulletin 2.3.0 © 2000-2002 Jelsoft Enterprises, Ltd. |
vB Easy Archive Final - Created by Xenon and modified/released by SkuZZy from the Job Openings