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 @01:35PM (#44277629)
Thank you for the correction!

And I'm glad that someone liked some of my attempts at humor. As my wife sometimes says, "I know that you were trying to make a joke, because it wasn't funny."

[ Parent | on HN ]
Re:Peano arithmetic is enough, because Peano arithmetic enc... by doodlebugging on Saturday June 14, 2025 @03:42PM (#44278354)
It was a great read. I enjoyed how you laid it all out. It reminded me of some of my upper level math coursework. Easy to follow if you take it step by step and stop to consider the implications. Some things become obvious to the most casual observer.
[ Parent | on HN ]
Re:Peano arithmetic is enough, because Peano arithmetic enc... by whatagreatboy on Saturday June 14, 2025 @02:03PM (#44277772)
I found all the jokes funny as well. Thanks for the blog post. Extremely nice read. I love the approach.
[ Parent | on HN ]
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 ]