Why Logician Kurt Gödel Believed in the Afterlife

As the foremost logician of the 20th century, Kurt Gödel is well known for his incompleteness theorems and contributions to set theory, the publications of which changed the course of mathematics, logic and computer science.