←back to thread

72 points lemper | 2 comments | | HN request time: 0.431s | source
1. pvg ◴[] No.41914487[source]
The mentioned size and density of Whitehead & Russel's Principia make the few dozen pages of Goedel's On Formally Undecidable Propositions of Principia Mathematica and Related Systems one of the greatest "i ain't reading all that/i'm happy for u tho/or sorry that happened" mathematical shitposts of all time.
replies(1): >>41915117 #
2. oglop ◴[] No.41915117[source]
Gödel had great respect for their work and was considered one of only a few people at the time to have read and understood the work. He wrote an entire paper later in life explaining he wouldn’t have come to his result without Principia because it showed him a base case to work from. Him and Russell would continue to meet and discuss logic well into the 50’s.