paragraph from wiki on Kurt Godel, the famous logician and mathematician who first proved the incompleteness theorem about formal and axiomatic systems


... ... ...
Legacy
The Kurt Gödel Society, founded in 1987, was named in his honor. It is an international organization for the promotion of research in the areas of logic, philosophy, and the history of mathematics.

Religious views
Gödel was a convinced theist and a lifelong Lutheran. He rejected the notion that God was impersonal, as Einstein believed. He believed firmly in an afterlife, stating: “I am convinced of the afterlife, independent of theology. If the world is rationally constructed, there must be an afterlife."[11]

... ... ...

Hard to believe, isn't it? How can such a rational and logical person turn out to be a religious freak.