3 ms·
I agree. I don't understand why Lamport thinks that "Biology is different from logic." The operon is a gene circuit, for example (http://en.wikipedia.org/wiki/O
by pazimzadeh 12y ago
I agree. I don't understand why Lamport thinks that "Biology is different from logic." The operon is a gene circuit, for example (http://en.wikipedia.org/wiki/Operon http://en.wikipedia.org/wiki/Operon).
It seems to me that the fields of biology and computer science are converging, if anything:
http://www.sciencemag.org/content/340/6132/599 http://www.sciencemag.org/content/340/6132/599