You must log in or register to comment.
Gödel has entered the chat.
The proof might be somewhat lengthy, but it is quite rigorous.
One year to prove it, 82 years for that banger of a title
If you want a nice evening, I highly recommend a visual novel called Logicomix.
It covers Bertrand Russel’s life in a popular way and brings a lot of understanding of his struggle.
I have a hard copy, but it’s available on archive.org too! https://archive.org/details/Logicomix-Comic-EarlyLifeOfBertrandRussell/page/n7/mode/2up
