RSS

Payor’s Lemma

TagLast edit: 13 Dec 2023 19:35 UTC by Yoav Ravid

Payor’s Lemma

Mo­dal Fix­point Co­op­er­a­tion with­out Löb’s Theorem

Andrew_Critch5 Feb 2023 0:58 UTC
133 points
32 comments3 min readLW link

Payor’s Lemma in Nat­u­ral Language

Andrew_Critch2 Mar 2023 12:22 UTC
62 points
0 comments2 min readLW link

Acausal normalcy

Andrew_Critch3 Mar 2023 23:34 UTC
181 points
30 comments8 min readLW link

Self-Refer­en­tial Prob­a­bil­is­tic Logic Ad­mits the Payor’s Lemma

Yudhister Kumar28 Nov 2023 10:27 UTC
80 points
14 comments6 min readLW link

Prob­a­bil­is­tic Payor Lemma?

abramdemski19 Mar 2023 17:57 UTC
69 points
7 comments4 min readLW link
No comments.