Hacker News new | past | comments | ask | show | jobs | submit
It's Goedel, not Godel. The umlaut is shorthand for "e".