For an excellent take on Bertrand Russel’s attempt to reformulate mathematics from the bottom up, which was proved impossible to do by the Incompleteness Theorem, try “Logicomix”
3 Likes
For an excellent take on Bertrand Russel’s attempt to reformulate mathematics from the bottom up, which was proved impossible to do by the Incompleteness Theorem, try “Logicomix”
