Landing page for all chemlambda projects
We can program a computer to do anything. What if we had the same power over the molecules of our bodies?
This is a collection of experiments with chemlambda artificial chemistry, interaction combinators and lambda calculus. The goal is to explore the behaviour of such systems under the most simple random algorithms, implemented by local machines. This teaches us something about biological life, or if molecular computers inspired from graph reductions and lambda calculus are possible.
Experiments involve, among others, quine graphs. These are new proposals for artificial life. They can reproduce, die and they have a metabolism. Interesting lambda calculus computations, far more complex than simple circuits logic, can be done with local random rewrites algorithms. Lambda calculus, or more precisely graph rewrites systems inspired from it, can be taken as first principles when designing molecular computers. The simulations from the collection of animations show many examples of complex behaviour typical for living creatures, thus suggesting that real life, at molecular level, is the same kind of computation as (graphical versions of) lambda calculus.
Articles:
- (local, playable) - chemSKI with tokens: world building and economy in the SKI universe (updated)
- (doi) (figshare pdf) -
Argument from AI summary: How does asemantic computing differ from traditional distributed computing?
- (github) (doi)
- Molecular computers which are based on graph rewriting systems like chemlambda, chemSKI or Interaction Combinators
- (local, playable) arXiv:2005.06060 [cs.AI] - Artificial life properties of directed interaction combinators vs. chemlambda
- (local, pdf) arXiv:2003.14332 [cs.AI] Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators
- (local), arXiv:2007.10288 [cs.LO], (local pdf), (figshare pdf) - Graph rewrites, from emergent algebras to chemlambda
- (working draft) Pure See
Program repositories, in reverse temporal order:
Acknowledgements: special thanks to the other authors of chemlambda repositories listed here. Their work greatly enhanced this project and also validated it. The discussions, see those listed here or in the issues of the other repositories, helped very much to clarify the subject.