[FOM] Foundational Challenge

[Lew Gordeew]

Peer-reviewed proof of NP = PSPACE is already available

http://dx.doi.org/10.18778/0138-0680.2020.16
https://czasopisma.uni.lodz.pl/bulletin/article/view/8169

(Warning: it's hard proof theory)

LG

Zitat von "Timothy Y. Chow" <tchow at math.princeton.edu>:
Datum: Sun, 12 Jan 2020 19:44:19 -0500 (EST)

> (I'm afraid I'm currently a skeptic of Gordeev and Haeusler's claims  
> to have proven NP = PSPACE).