Making Software 'Correct by Construction' Is it possible to build software so that you know that is is correct? How could this be done? Has anyone tried? What would it cost?
Covenants without Swords; Swords without Covenants Hobbes declared that 'covenants, without the sword, are but words'...
Mathematics in the 20th century: Chaos, codes and colouring What is the Mandelbrot set? How can prime numbers protect...
Mathematics in the modern age - The 19th century: Revolution or evolution? What is a number? Can you solve a quintic equation...
Mathematics in the modern age - The 18th century: Crossing bridges What shape is the Earth? How do strings vibrate? Can...