he was named godel after the austrian mathematician kurt godel