En 1946, Gödel se convirtió en miembro permanente del IEA.