Book with collected works of philosopher Kurt Gödel, who Hawking ...