laarcnew | comments | discord | tags | ask | show | place | submitlogin
Axioms and Proofs - World of Mathematics (
2 points by rain1 to math education 109 days ago | 1 comment

"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.


Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)