Juliette Kennedy‘s entry on Kurt Gödel has just been published in in the Stanford Encyclopedia.
(It took a long time to get this done because of all the formulas that needed to be converted into HTML. If you find a mistake, please let Juliette or me know.)