Incorrect comments on A model of UDT with a concrete prior over logical statements - Less Wrong

43 Post author: Benja 28 August 2012 09:45PM

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

Comments (21)

Sort By: Best

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

Comment author: Incorrect 29 August 2012 03:56:10PM * 1 point [-]

Um, I don't see value in excluding statements that have e.g. a forall-exists-forall-exists sequence of quantifiers at the outer level?

I just wanted to show it seems possible to do better and that was easier to do considering only a subset of statements.

Comment author: Benja 29 August 2012 04:12:14PM 0 points [-]

Ah, ok.