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 Brian_K_White on Saturday June 14, 2025 @03:35PM (#44278315)
"I think you liked it just fine." hehe
[ Parent | on HN ]

There are no comments on this comment yet.