This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
is fundraising!
Tags
LW
$
Login
Löb's Theorem
Edit
History
Subscribe
Discussion
(1)
Help improve this page (3 flags)
Edit
History
Subscribe
Discussion
(1)
Help improve this page (3 flags)
Löb's Theorem
Löb's Theorem
Random Tag
Contributors
3
Multicore
0
Yoav Ravid
You are viewing revision 1.1.0, last edited by
Multicore
Löb's Theorem
□
(
□
C
→
C
)
→
□
C
, where
□
X
means "
X
is provable".
Posts tagged
Löb's Theorem
Most Relevant
8
44
The Cartoon Guide to Löb's Theorem
Eliezer Yudkowsky
16y
104
7
58
Open technical problem: A Quinean proof of Löb's theorem, for an easier cartoon guide
Ω
Andrew_Critch
2y
Ω
35
7
58
Open technical problem: A Quinean proof of Löb's theorem, for an easier cartoon guide
Ω
Andrew_Critch
2y
Ω
35
2
134
Modal Fixpoint Cooperation without Löb's Theorem
Ω
Andrew_Critch
2y
Ω
34
Review
2
120
Robust Cooperation in the Prisoner's Dilemma
orthonormal
12y
147
2
112
Reflection in Probabilistic Logic
Eliezer Yudkowsky
12y
168
2
71
A Proof of Löb's Theorem using Computability Theory
Ω
jessicata
1y
Ω
0
2
69
Probabilistic Payor Lemma?
Ω
abramdemski
2y
Ω
7
2
69
Probabilistic Payor Lemma?
Ω
abramdemski
2y
Ω
7
2
57
No License To Be Human
Eliezer Yudkowsky
16y
54
2
52
A proof of Löb's theorem in Haskell
cousin_it
10y
8
2
52
Bounded versions of Gödel's and Löb's theorems
cousin_it
13y
22
2
51
Probabilistic Löb theorem
Stuart_Armstrong
12y
40
2
48
An angle of attack on Open Problem #1
Benya
12y
85
2
48
You Provably Can't Trust Yourself
Eliezer Yudkowsky
16y
18