Gabriel comments on Attempts to work around Goedel's theorem by using randomness - Less Wrong

8 Post author: cousin_it 25 April 2011 02:18PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (17)

Comments (17)

You are viewing a single comment's thread.

Comment author: Gabriel 25 April 2011 05:15:27PM *  1 point [-]

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?

Comment author: cousin_it 25 April 2011 05:46:31PM *  1 point [-]

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

Powered by Reddit Powered by Reddit