AI ALIGNMENT FORUMTags
AF

Löb's Theorem

EditHistorySubscribe
Discussion (0)
Help improve this page (3 flags)
EditHistorySubscribe
Discussion (0)
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
1
31Open technical problem: A Quinean proof of Löb's theorem, for an easier cartoon guide
Andrew Critch
10mo
19
1
57Modal Fixpoint Cooperation without Löb's Theorem
Andrew Critch
8mo
13
0
31A Proof of Löb's Theorem using Computability Theory
Jessica Taylor
1mo
0
1
36Probabilistic Payor Lemma?
Abram Demski
6mo
4
1
16Some constructions for proof-based cooperation without Löb
James Payor
6mo
1
1
18Löb's Lemma: an easier approach to Löb's Theorem
Andrew Critch
9mo
4
1
8Löbian emotional processing of emergent cooperation: an example
Andrew Critch
8mo
0
1
11A Löbian argument pattern for implicit reasoning in natural language: Löbian party invitations
Andrew Critch
9mo
3
1
6A proof of inner Löb's theorem
James Payor
7mo
0
1
1An Introduction to Löb's Theorem in MIRI Research
orthonormal
9y
0
1
2A simple model of the Löbstacle
orthonormal
8y
0
1
7The Löbian Obstacle, And Why You Should Care
marc/er
22d
0
Add Posts