This reminds me of my logic professor in college. He would often tell us stories about Kurt Godel, who he'd worked with at the IAS.
My prof blew me away one day when he said that Godel had 3 good ideas -- Godel numbering, and two more that I can't remember.
He didn't say it in a way that was meant to put down Godel at all. I took it as an homage to original thought and what it really meant to have a good idea.
Gödel numbers were invented by Leibniz a few hundred years earlier. It's not known whether Gödel knew about this when he proved incompletness, but given that Gödel was a serious Leiniz scholar especially later in life, and held him in highest esteem, it is not impossible that he did.
My prof blew me away one day when he said that Godel had 3 good ideas -- Godel numbering, and two more that I can't remember.
He didn't say it in a way that was meant to put down Godel at all. I took it as an homage to original thought and what it really meant to have a good idea.