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.

prase comments on Gödel and Bayes: quick question - Less Wrong Discussion

1 Post author: hairyfigment 14 April 2011 06:12AM

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

Comments (36)

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

Comment author: prase 15 April 2011 09:03:28AM 0 points [-]

I understood that the algorithm valid for all formulae had to be produced in advance, but still I found it strange that it doesn't exist. Further thinking about it it doesn't seem so strange after all.