News for hackers. Stuff that matters.

A comment on Peano arithmetic is enough, because Peano arithmetic encodes computation. Parent comment

Re:Peano arithmetic is enough, because Peano arithmetic enc... by brookst on Saturday June 14, 2025 @08:09AM (#44275897)
Let’s also not ruin every discussion with speculation about how someone will eventually ruin everything with ads.
[ Parent | on HN ]

There are no comments on this comment yet.