"Some of the most awe-inspiring discoveries in the 20th century are about the limits of thought, and about rigorous ways to think about thinking. Gödel was cent

"Some of the most awe-inspiring discoveries in the 20th century are about the limits of thought, and about rigorous ways to think about thinking. Gödel was central to these results [...]" I am not aware of any "awe-inspiring discoveries" about "the limits of thought" made by Gödel. Personally, I (and maybe other mathematicians) find his incompleteness theorems awe-inspiring, but they are in no way about the limits of "thought". Those theorems are precise statements concerning some formal axiomatic systems. They have great significance in mathematical logic, a little bit less so for other branches of mathematics, and virtually no philosophical meaning at all.