"Towards the end of his life, Kurt Gödel developed severe mental problems and he died of self-starvation in 1978. His insights into the foundations of logic were the most profound ones since the development of proof by the ancient Greeks."
Damn. I didn't know that. The security version of this is the Karger-Thompson attack or really subversion risk applied pervasively. I warn people to just... stop thinking about it. They'll go crazy.