Precise language to reason precisely

"In the end, programs are just mathematics, and you can reason about them mathematically"
-- Gerwin Klein, NICTA, "Universal kernel code to keep computers safe," NewScientist, 28 August 2009.

Fashionable Science

"The fact is science is like any other social network. It's a lot easier to go along with the crowd. Every now and then there's a revolution in science, a paradigm shift, like when Einstein came along, but it's so easy to lock people into a particular way of thinking, of trying to build on the ideas that are in vogue. In the end, there is almost a fashion in science — ideas that are in, ideas that are out."
-- Brian Clegg, "What Came Before the Big Bang?," TIME.com, August 13, 2009.