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 btilly on Monday June 16, 2025 @11:43AM (#44290673)
Then you likely know more set theory than I do!
[ Parent | on HN ]

There are no comments on this comment yet.