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 blipvert on Saturday June 14, 2025 @11:35AM (#44276992)
Might be of interest - new AC series: https://www.theguardian.com/tv-and-radio/2025/jun/14/shifty-...
[ Parent | on HN ]

There are no comments on this comment yet.