[pazimzadeh]

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).

It seems to me that the fields of biology and computer science are converging, if anything: http://www.sciencemag.org/content/340/6132/599