Wednesday, April 06, 2005

Economist.com | Mathematics Can computers prove maths?