Gödel as greatest logician isn't part of Pantheon yet. Add them, and we'll research and write up their story — their contributions, who shaped them, and who they went on to shape.
Sign in to add Gödel as greatest logician to Pantheon.