axiomatic methods – keeping simple

The source of error (updated)

July 8, 2009 yodaiken academics

Here’s Edsger Dijkstra discussing the birth of the use of axiomatics in computer science – the start of “formal methods” research. What’s striking is the