News for hackers. Stuff that matters.

A comment on P ≠ NP Provable in PA.

Re:P ≠ NP Provable in PA by jitl on Thursday March 18, 2021 @07:20PM (#26508612)
what is PA?
[ Parent | on HN ]
Re:P ≠ NP Provable in PA by omni- on Thursday March 18, 2021 @07:23PM (#26508641)
Peano Arithmetic
[ Parent | on HN ]