I can’t understand Harvey Friedman’s reasoning. Maybe because I don’t know what the notation:
if phi(n*) then |{m: 1 ⇐ m = 2^p-1
and
T + {m: 1 ⇐ m = 2^p-1
is supposed to mean. Could you explain?
Oh fuck. I can’t parse it either. Maybe the blog software ate some characters? (I only glanced at Friedman’s conclusion before writing my post. Sorry about that, won’t happen again.)
I can’t understand Harvey Friedman’s reasoning. Maybe because I don’t know what the notation:
and
is supposed to mean. Could you explain?
Oh fuck. I can’t parse it either. Maybe the blog software ate some characters? (I only glanced at Friedman’s conclusion before writing my post. Sorry about that, won’t happen again.)