A New Kind of Science: The NKS Forum : Powered by vBulletin version 2.3.0 A New Kind of Science: The NKS Forum > News & Announcements > Combinatorial logic notebook
  Last Thread   Next Thread
Thread Post New Thread    Post A Reply
Jason Cawley
Wolfram Science Group
Phoenix, AZ USA

Registered: Aug 2003
Posts: 712

Combinatorial logic notebook

Combinatorial Ornithology

Jaime Rangel-Mondragón

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.

Attachment: combinatorialornithology.zip
This has been downloaded 2116 time(s).

Report this post to a moderator | IP: Logged

Old Post 11-30-2004 02:52 PM
Jason Cawley is offline Click Here to See the Profile for Jason Cawley Click here to Send Jason Cawley a Private Message Edit/Delete Message Reply w/Quote
Post New Thread    Post A Reply
  Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread


wolframscience.com  |  wolfram atlas  |  NKS online  |  Wolfram|Alpha  |  Wolfram Science Summer School  |  web resources  |  contact us

Forum Sponsored by Wolfram Research

© 2004-16 Wolfram Research, Inc. | Powered by vBulletin 2.3.0 © 2000-2002 Jelsoft Enterprises, Ltd. | Disclaimer | Archives