New paper on P vs NP
Timothy Y. Chow
tchow at math.princeton.edu
Mon Jan 4 20:54:02 EST 2021
Lew Gordeew wrote:
> No, I don't see how to seriously weaken EFA. Sorry.
Exactly what part of the proof requires going beyond S_2^2?
Alternatively, what makes your property non-natural in the sense of
Razborov and Rudich?
You say that your proof does not introduce "new groundbreaking ideas" and
analyzes "already known techniques in a more sophisticated Boolean
framework." But if your property is non-naturalizable then that is
More information about the FOM