You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

endoself comments on AI reflection problem - Less Wrong Discussion

4 [deleted] 27 November 2011 06:29AM

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

Article Navigation

Comments (26)
Tags: epistemology reflection lob's theorem

Comments (26)

You are viewing a single comment's thread.

Comment author: endoself 27 November 2011 07:20:58AM 1 point [-]

A1 ⊢ ∀P. [[t]]_A2(P) → P

I don't get this. Is t supposed to be a free variable here? How does this mean anything without quantifying over t?

Comment author: [deleted] 27 November 2011 07:56:53AM *  0 points [-]

I just wrote it incorrectly. Too tired right now, I'll fix it in the morning.

Powered by Reddit Powered by Reddit