LESSWRONGTags
LW

Löb's Theorem

EditHistory
Discussion (1)
Help improve this page (3 flags)
EditHistory
Discussion (1)
Help improve this page (3 flags)
Löb's Theorem
Random Tag
Contributors
4Yoav Ravid
3Multicore

Löb's Theorem is theorem proved by Martin Hugo Löb which states: 

If PA proves "If Peano arithmetic proves 'X', then X", then Peano arithmetic proves X

Which has consequences for reflective reasoning.

Posts tagged Löb's Theorem
8
32The Cartoon Guide to Löb's Theorem
Eliezer Yudkowsky
15y
103
7
52Open technical problem: A Quinean proof of Löb's theorem, for an easier cartoon guideΩ
Andrew_Critch
7mo
Ω
34
2
124Modal Fixpoint Cooperation without Löb's TheoremΩ
Andrew_Critch
4mo
Ω
32
2
117Robust Cooperation in the Prisoner's Dilemma
orthonormal
10y
147
2
112Reflection in Probabilistic Logic
Eliezer Yudkowsky
10y
168
2
68Probabilistic Payor Lemma?Ω
abramdemski
3mo
Ω
7
2
52Bounded versions of Gödel's and Löb's theorems
cousin_it
11y
22
2
52A proof of Löb's theorem in Haskell
cousin_it
9y
8
2
51No License To Be Human
Eliezer Yudkowsky
15y
54
2
48Probabilistic Löb theorem
Stuart_Armstrong
10y
40
2
47An angle of attack on Open Problem #1
Benya
11y
85
2
43You Provably Can't Trust Yourself
Eliezer Yudkowsky
15y
18
2
36Naturalistic trust among AIs: The parable of the thesis advisor's theorem
Benya
10y
20
2
35Notes/blog posts on two recent MIRI papers
Quinn
10y
3
2
34Some constructions for proof-based cooperation without LöbΩ
James Payor
3mo
Ω
3
Load More (15/32)
Add Posts