AI ALIGNMENT FORUM
AF

Wikitags
Main
1
Proof
6
GII and Löb
1
Computers
LW Wiki

LW Wiki

Edited by Yoav Ravid, et al. last updated 11th Mar 2023

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.

Subscribe
Subscribe
Discussion0
Discussion0
Posts tagged Löb's theorem
32Open technical problem: A Quinean proof of Löb's theorem, for an easier cartoon guide
Andrew_Critch
3y
21
57Modal Fixpoint Cooperation without Löb's Theorem
Andrew_Critch
3y
22
33A Proof of Löb's Theorem using Computability Theory
jessicata
2y
0
36Probabilistic Payor Lemma?
abramdemski
2y
4
35Working through a small tiling result
James Payor
4mo
6
16Some constructions for proof-based cooperation without Löb
James Payor
2y
1
18Löb's Lemma: an easier approach to Löb's Theorem
Andrew_Critch
3y
8
11A Löbian argument pattern for implicit reasoning in natural language: Löbian party invitations
Andrew_Critch
3y
4
8Löbian emotional processing of emergent cooperation: an example
Andrew_Critch
3y
0
6A proof of inner Löb's theorem
James Payor
3y
0
3A simple model of the Löbstacle
orthonormal
10y
0
1An Introduction to Löb's Theorem in MIRI Research
orthonormal
11y
0
35Self-Referential Probabilistic Logic Admits the Payor's Lemma
Yudhister Kumar
2y
0
Add Posts