undefined | Better HN

0 pointsporphyra1y ago0 comments

There's not even a proof that P != EXPTIME haha

EDIT: I am a dumbass and misremembered.

0 comments

2 comments · 2 top-level

I think there is right? It's been a long time but I seem to remember it following from the time hierarchy theorem

I thought there was some simple proof of this, but all I can think of is time hierarchy theorem.

j / k navigate · click thread line to collapse