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 im3w1l on Saturday June 14, 2025 @05:23AM (#44275249)
Well there was a post on mathmemes a day ago about teaching kids set theory as a foundation for math with some discussion of PA. So maybe related ideas are echoing across the intertubes in this moment?
[ Parent | on HN ]
Re:Peano arithmetic is enough, because Peano arithmetic enc... by kjellsbells on Saturday June 14, 2025 @09:42AM (#44276399)
> teaching kids set theory as a foundation for math

Very reminiscent of the New Math pedagogy of the 1960s. Built up arithmetic entirely from sets. Crashed and burned for various reasons but I always had a soft spot for it. It also served as my introduction to binary arithmetic and topology.

[ Parent | on HN ]