[FOM] Foundational Challenge

[Lew Gordeew]

Dear FOMers,

This proof will be expained in plain words in my talk on Saturday 24  
July, see LC 2021, https://lc2021.pl .

Best,
LG

Zitat von Lew Gordeew <lew.gordeew at uni-tuebingen.de>:

> 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).