anonymous

I also have to wonder how Mathias Hauptmann's proof(?) that $P\ne\Sigma^p_2$ mentioned by Tayfun Pay above got past everyone. Doesn't that mean $P\ne PSPACE$ and if yes, where were the fireworks?