It's Goedel, not Godel. The umlaut is shorthand for "e".