Comment by zimtkerl on Probabilistic Payor Lemma? · 2023-03-20T12:57:41.329Z · LW · GW

• $p(┌\neg a┐)<1-c$.
• $p(┌b\vee \neg a┐)\le p(┌b┐)+p(┌\neg a┐)<p(┌b┐)+1-c$.

Are you deriving these two points only using the axioms provided in the "Setup" section, or are you assuming all four axioms stated afterward here?

Comment by zimtkerl on Luna Lovegood and the Fidelius Curse - Part 10 · 2022-03-24T10:49:29.487Z · LW · GW

You are welcome. By the way, I really enjoyed delving into this work of yours, it is pleasant to read and its intricate structure provides a lot of fun. Thank you!

Comment by zimtkerl on Luna Lovegood and the Fidelius Curse - Part 10 · 2022-03-23T20:22:39.767Z · LW · GW

"The tentacled brain launched itself at the Memnuela"