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.

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.