This is a wild statement to me that “nobody seems to know about Gödel”… I think I learned about him when I was like 12? And while I’ve certainly met plenty of people who haven’t heard of him, until 10-15 years ago the same was true about Turing, mostly changed by a some Hollywood and/or literary references… and Gödel had a tiny bit of that in Oppenheimer if i recall, though not to the same degree? I bet if you asked 100 comp sci students if they’ve heard of Gödel at least 50 would say yes? On what basis do you think no one has heard of him? Not many have read the original math, sure, but… the idea that he was a mathematician who wrote an incompleteness theorem? VERY widely known.