[FOM] Finite functions and necessary use of large cardinals
Timothy Y. Chow
tchow at math.princeton.edu
Tue Nov 12 17:02:04 EST 2019
Gill Williamson wrote:
> Below is a link to my latest thoughts on connections between Harvey
> Friedman's 1998 paper (Annals of Mathematics) and the P vs NP problem:
This is an intriguing suggestion, but I thought that one lesson from
Friedman's Boolean relation theory was that a seemingly innocuous "tweak"
of statement to a superficially similar statement can abruptly switch it
from unprovable in ZFC to trivially provable in an extremely weak system.
So it seems very bold to me to conjecture that a whole family of
superficially similar statements are all unprovable in ZFC just because
some, or even most, of them are.
More information about the FOM