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

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.

Sort By: Best

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.

Comments (100)