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 Saturday June 14, 2025 @03:39PM (#44278337)
Thanks!

I am away from my computer for the day, but I will fux it later.

[ Parent | on HN ]
Re:Peano arithmetic is enough, because Peano arithmetic enc... by gjm11 on Saturday June 14, 2025 @04:27PM (#44278605)
> I will fux it later

I think the problem is that it's already fuxed.

[ Parent | on HN ]