endoself comments on AI reflection problem - Less Wrong

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.

Comments (26)

Sort By: Best

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.