Landing page for all chemlambda projects

(github hosted version)

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:


Experiments pages:


Program repositories, in reverse temporal order:


Discussions and slides:


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.

Marius Buliga, 2020-. more here or here