News for hackers. Stuff that matters.

A comment on P ≠ NP Provable in PA.

Re:P ≠ NP Provable in PA by vghaisas on Thursday March 18, 2021 @07:26PM (#26508663)
I didn't know and I'm sure others are wondering too: PA probably means Peano Arithmetic.

See https://en.m.wikipedia.org/wiki/Peano_axioms and https://math.stackexchange.com/a/213264.

[ Parent | on HN ]

There are no comments on this comment yet.