Kurt Gödel was by any metric a genius — a mathematician, logician and philosopher who reshaped the world of mathematics as we know it, coming up with theorems that heavily influenced computing and machine learning. But later in life, all of that fearsome logic went right out the window