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.
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.