LESSWRONGTags
LW

Löb's Theorem

EditHistorySubscribe

Help improve this page (3 flags)

EditHistorySubscribe

Help improve this page (3 flags)

Contributors

You are viewing revision 1.1.0, last edited by Multicore

Löb's Theorem

$□ (□ C \to C) \to □ C$ , where $□ X$ means " $X$ is provable".

Posts tagged Löb's Theorem

8

44The Cartoon Guide to Löb's Theorem

Eliezer Yudkowsky

16y

104

7

58Open technical problem: A Quinean proof of Löb's theorem, for an easier cartoon guide

1y

35

2

133Modal Fixpoint Cooperation without Löb's Theorem

1y

32

2

120Robust Cooperation in the Prisoner's Dilemma

11y

147

2

112Reflection in Probabilistic Logic

Eliezer Yudkowsky

11y

168

2

71A Proof of Löb's Theorem using Computability Theory

9mo

0

2

69Probabilistic Payor Lemma?

1y

7

2

57No License To Be Human

Eliezer Yudkowsky

16y

54

2

52A proof of Löb's theorem in Haskell

10y

8

2

52Bounded versions of Gödel's and Löb's theorems

12y

22

2

51Probabilistic Löb theorem

Stuart_Armstrong

11y

40

2

48You Provably Can't Trust Yourself

Eliezer Yudkowsky

16y

18

2

48An angle of attack on Open Problem #1

12y

85

2

43Some constructions for proof-based cooperation without Löb

1y

3

2

36Naturalistic trust among AIs: The parable of the thesis advisor's theorem

10y

20