Stuart_Armstrong comments on Formalising cousin_it's bounded versions of Gödel's theorem - Less Wrong

10 Post author: Stuart_Armstrong 29 June 2012 11:24PM

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

Comments (4)

You are viewing a single comment's thread. Show more comments above.

Comment author: Stuart_Armstrong 30 June 2012 09:25:06PM 1 point [-]

Cool, thanks for the links!