At 24, Kurt Gödel established himself as perhaps the greatest logician of the 20th century. Standing against the intellectual currents of his time, he unveiled two theorems in 1930 showing that a ...