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.

snarles comments on A model of UDT with a halting oracle - Less Wrong Discussion

41 Post author: cousin_it 18 December 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 (100)

Comments (100)

You are viewing a single comment's thread.

Comment author: snarles 25 December 2011 11:10:06AM 1 point [-]

Would it be correct to say that S can't prove Lemma 2?

Comment author: cousin_it 25 December 2011 01:15:15PM 1 point [-]

Yes.

Powered by Reddit Powered by Reddit