Although the name is sometimes written without the umlaut as Godel , proper German orthography is to write it Goedel if the dots are omitted.
Assuming that [tag:gödel] doesn't work, could we at least replace godel by goedel?
Please vote up if you agree.