Gödel en biografisk uppsats.