I need to learn more about Godel and read the books about him. From the outside, he almost seems like an intellectual rebel, showing how systems are broken when people assume they aren't. With his completeness theorems and his Godel metric, he seemed to be excited by logical exotica. I find the Godel metric and its closed timelike curves to be an interesting case study of general relativity. This is just me spitballing here, as I have not yet dove into the many books I have on him.