Is mathematics invented or discovered? Read what Kurt Gödel had to say. Here's the text of his 1951 Gibbs Lecture (along with an introductory note) in which Gödel argues for Platonism in the philosophy of mathematics, as in the passage excerpted below.