Many mathematicians around the turn of the 20th century wanted to ground math in pure logic. Turns out that’s pretty damned hard…and as Gödel discovered, actually impossible.