4 ms·

Okay, I'll bite. PA probably isn't Pennsylvania, so what is it?

• Jtsummers 6y ago
  Peano Arithmetic if my googling is correct. That was my guess but it would be nice of the paper authors to be courteous to readers. Even if they’re more familiar with the domain than us, there’s no guarantee an acronym is unique within the domain. Technical writing 101.
• rossdavidh 6y ago
  No no, that's the thing. It's not necessarily provable in, say, California or Texas, but we now know that P ≠ NP in at least one state, so it's a pretty significant step forward. Previous work using induction shows that if it's true in one state, it is true in any other state. This still does leave places like D.C. and Puerto Rico as open questions as well, of course.
  • krylon 6y ago
    If I had read that comment just a few seconds earlier, you would probably owe me a new keyboard now. ;-)