Goedel prize 2005