News for hackers. Stuff that matters.

A comment on Ask HN: Is Knuth's TAOCP worth the time and effort? (2023). Parent comment

Re:Ask HN: Is Knuth's TAOCP worth the time and effort? (2023) by gizajob on Tuesday November 28, 2023 @07:22AM (#38444950)
It wasn't a folly from the beginning because it seemed like it could be done when Russel and Whitehead started on the PM. It was only after it was published that Gödel proved it to have been a folly.
[ Parent | on HN ]

There are no comments on this comment yet.