P ≠ NP Provable in PA

Re:P ≠ NP Provable in PA by TimSchumann on Thursday March 18, 2021 @07:30PM (#26508693)

For anyone wondering what PA stands for, after a few minutes digging I came across a subsection of this P versus NP Wikipedia Article [1] which lead to this article about Peano Axioms[2].

My guess would be it stands for Peano Axioms or Peano Arithmetic, which is a formalized system of reasoning about natural numbers -- if I understand the first couple sentences of the Wikipedia article.

1. https://en.wikipedia.org/wiki/P_versus_NP_problem#Results_ab...

2. https://en.wikipedia.org/wiki/Peano_axioms

[ Parent | on HN ]

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 ]