LINKED LIST [txt mode] ▸ Peano arithmetic is enough, because P...
home explore | log in

Peano arithmetic is enough, because Peano arithmetic encodes computation

news.ycombinator.com · 2026-10-06 · 0 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

* Peano arithmetic is enough, because Peano arithmetic encodes computation (discussion)