theorems, free will and mathematical thought / Solomon Feferman -- Feferman on Gödel