woensdag, april 06, 2005

Economist.com | Mathematics

Economist.com | Mathematics
Just what does it mean to prove something, when nobody has the capacity to verify the infinite number of steps..., the computer has taken?