Ethics, Gödel, Incompleteness Theorem, Morality, Religion.
The German mathematician of the last century, Kurt Gödel was intensely preoccupied with the formalisms of abstract reasoning. He came to some unfortunate conclusions, in the form of his Incompleteness Theorems, bringing an end to some rather optimistic theories about provability: the quality of any