I think shminux is talking about the possibility of future research addressing bounded reasoners, who could be uncertain of P=NP even if it followed from ZFC.
I fully agree that is an interesting avenue of discussion, but it doesn’t look much like what the paper is offering us.
Current theme: default
Less Wrong (text)
Less Wrong (link)
I think shminux is talking about the possibility of future research addressing bounded reasoners, who could be uncertain of P=NP even if it followed from ZFC.
I fully agree that is an interesting avenue of discussion, but it doesn’t look much like what the paper is offering us.