Saturday, August 29, 2009

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.

Sunday, August 16, 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.