As it happened with chemlambda programs, I decided it is shorter to take a look myself at possible physical realizations of chemlambda than to wait for others, uninterested or very interested really, people.
Let me recall a banner I used two years ago
It turns out that I know exactly how to do this. I contacted Andrew Phillips, in charge with Microsoft’ Visual DSD with the message:
I am interested in using Visual DSD to implement several graph-rewriting formalisms with strand graphs: Lafont Interaction Combinators, knots, spin braids and links rewrite systems, my chemlambda and emergent algebra formalisms.
AFAIK this has not been tried. Is this true? I suggest this in my project chemlambda but I don’t have the chemical expertise.
About me: geometer working with graph rewrite systems, homepage: http://imar.ro/~mbuliga/index.html or
Some links (thank you for a short reception of the message reply):
– github project: https://github.com/chorasimilarity/chemlambda-gui/blob/gh-pages/dynamic/README.md
– page with more links: http://imar.ro/~mbuliga/chemlambda-v2.html
– arXiv version of my Molecular computers article https://arxiv.org/abs/1811.04960
– em-convex https://arxiv.org/abs/1807.02058
I still wait for an answer, even if Microsoft’ Washington Microsoft Azure and Google Europe immediately loaded the pages I suggested in the mail.
Previously, I was noticed by somebody [if you want to be acknowledged then send me a message and I’ll update this] about Hamada and Luo Dynamic DNA material with emergent locomotion behavior powered by artificial metabolism and I sent them the following message
Dear Professors Hamada and Luo,
I was notified about your excellent article Dynamic DNA material with emergent locomotion behavior powered by artificial metabolism, by colleagues familiar with my artificial chemistry chemlambda.
This message is to make you aware of it. I am a mathematician working with artificial chemistries and I look for ways to implement them in real chemistry. The shortest description of chemlambda is: an artificial chemistry where the chemical reactions are alike a Turing complete family of graph rewrites.
If such a way is possible then molecular computers would be not far away.
Here is a list of references about chemlambda:
– GitHub repository with the scripts https://github.com/chorasimilarity/chemlambda-gui/blob/gh-pages/dynamic/README.md
– page which collects most of the resources http://imar.ro/~mbuliga/chemlambda-v2.html
Thank you for letting me know if this has any relation to your interests. For my part I would be very thrilled if so.
Again, seems that these biology/chemistry people have problems with replies to mathematicians, but all ths makes me more happy because soon I’ll probably release instructions about how everybody could make molecular computers along the lines of Molecular computers.
I’ll let you know if there are future “inspiration” work. Unrelated to chemlambda, there are several academic works which shamelessly borrow from my open work without acknowledgements, I’ll let you know about these and I’ll react in more formal ways. I hope though this will not be the case with chemlambda, however, this happened before twice at least. (I say nothing about enzymes/catalysts, category theory and cryptocurrencies… for the moment.)
Finally, here is a realization of the lambda calculus beta rewrite via a FOLD rewrite
which shares a relation with the ZIP rewrite from Zipper Logic. It seems I was close to reality, now though I got it exactly 🙂 .
Let’s talk soon!