Kurt Gödel: Life, Work, and Legacy