So8res comments on Reflection in Probabilistic Logic - Less Wrong

63 Post author: Eliezer_Yudkowsky 24 March 2013 04:37PM

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

Comments (171)

Sort By: Best

You are viewing a single comment's thread.

Comment author: So8res 04 August 2013 09:13:02PM * 1 point [-]

Just found a few typos in my notes that I had forgotten to post. Hopefully somebody's still reading this.

Page 3: "By axiom 3, P(T0) = 1" should be by axiom 2.
Axiom 3 seems redundant (it follows from axiom 1 + 2).
Page 4, "which contradicts P(G) in [0, 1]" should be "which contradicts P(G) in [0, 1)", unless I'm misreading.