Re:Ask HN: Is Knuth's TAOCP worth the time and effort? (2023)
by voidhorse on Tuesday November 28, 2023 @07:25AM
(#38444964)
It's a bit extreme imo to call Principia wrong. It isn't wrong so much as it will never completely succeed. These are two different things. The logical perspective presented in Principia is still sound and a relatively useful framework for understanding most of mathematics, and it's a monumental and impressive piece of work. I find it hard to believe anyone who has read it wouldn't leave with a better overall comprehension of what exactly it is that we are doing when we do mathematics.
[ Parent
| on HN ]
Re:Ask HN: Is Knuth's TAOCP worth the time and effort? (2023)
by dmvdoug on Tuesday November 28, 2023 @11:41AM
(#38447703)
I didn’t say PM was wrong. I said the ideas behind it were—-although I should’ve said idea (singular) insofar as I was thinking in particular of the strong form of logicism motivating Russell.