News for hackers. Stuff that matters.

A comment on P ≠ NP Provable in PA. Parent comment

Re:P ≠ NP Provable in PA by monstersinF on Thursday March 18, 2021 @08:00PM (#26508898)
I usually see it refer to Peano Arithmetic
[ Parent | on HN ]

There are no comments on this comment yet.