Peano arithmetic is enough, because Peano arithmetic encodes computation

Re:Peano arithmetic is enough, because Peano arithmetic enc... by Timwi on Saturday June 14, 2025 @03:27PM (#44278273)

> Corrections and follow-up questions are welcome.

There are two places where you accidentally wrote “omega” instead of “\omega”.

[ Parent | on HN ]

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 ]

Re:Peano arithmetic is enough, because Peano arithmetic enc... by btilly on Sunday June 15, 2025 @02:53AM (#44280962)

It is now fixed. :-)

[ Parent | on HN ]