Se le dio ese nombre en honor al lógico Kurt Gödel.