# Löb’s Theorem

TagLast edit: 11 Mar 2023 7:49 UTC by

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.

# The Car­toon Guide to Löb’s Theorem

17 Aug 2008 20:35 UTC
44 points

# Open tech­ni­cal prob­lem: A Quinean proof of Löb’s the­o­rem, for an eas­ier car­toon guide

24 Nov 2022 21:16 UTC
58 points

# Prob­a­bil­is­tic Payor Lemma?

19 Mar 2023 17:57 UTC
69 points

# A Proof of Löb’s The­o­rem us­ing Com­putabil­ity Theory

16 Aug 2023 18:57 UTC
71 points
(unstableontology.com)

# A sim­ple model of the Löbstacle

11 Jun 2015 16:23 UTC
2 points

# Over­com­ing the Loe­bian ob­sta­cle us­ing ev­i­dence logic

14 Mar 2014 18:34 UTC
22 points

# Some con­struc­tions for proof-based co­op­er­a­tion with­out Löb

21 Mar 2023 16:12 UTC
43 points

# Löb’s the­o­rem sim­ply shows that Peano ar­ith­metic can­not prove its own soundness

22 Apr 2021 9:17 UTC
5 points

# A proof of Löb’s the­o­rem in Haskell

19 Sep 2014 13:01 UTC
52 points

# Med­i­ta­tions on Löb’s the­o­rem and prob­a­bil­is­tic logic [LINK]

10 Aug 2014 21:41 UTC
17 points

# A proof of in­ner Löb’s theorem

21 Feb 2023 21:11 UTC
13 points

# Mo­dal Fix­point Co­op­er­a­tion with­out Löb’s Theorem

5 Feb 2023 0:58 UTC
133 points

# An In­tro­duc­tion to Löb’s The­o­rem in MIRI Research

22 Jan 2015 20:35 UTC
4 points

# How to cheat Löb’s The­o­rem: my sec­ond try

22 Aug 2012 18:21 UTC
21 points

# An In­tro­duc­tion to Löb’s The­o­rem in MIRI Research

23 Mar 2015 22:22 UTC
29 points

# Bounded ver­sions of Gödel’s and Löb’s theorems

27 Jun 2012 18:28 UTC
52 points

# Löb’s Lemma: an eas­ier ap­proach to Löb’s Theorem

24 Dec 2022 2:02 UTC
30 points

# Prob­a­bil­is­tic Löb theorem

26 Apr 2013 18:45 UTC
51 points

# In­tu­itive cooperation

25 Jul 2014 1:48 UTC
27 points

# Strange Loops—Self-Refer­ence from Num­ber The­ory to AI

28 Sep 2022 14:10 UTC
15 points

# Trust­ing Your­self (For­mally)

9 Apr 2011 14:59 UTC
13 points

# You Prov­ably Can’t Trust Yourself

19 Aug 2008 20:35 UTC
48 points

# Es­cap­ing the Löbian Obstacle

16 Jun 2021 0:02 UTC
14 points

# Löbian emo­tional pro­cess­ing of emer­gent co­op­er­a­tion: an example

17 Jan 2023 5:59 UTC
23 points

# A Löbian ar­gu­ment pat­tern for im­plicit rea­son­ing in nat­u­ral lan­guage: Löbian party invitations

1 Jan 2023 17:39 UTC
23 points

# Rel­a­tivized Defi­ni­tions as a Method to Sidestep the Löbian Obstacle

27 Feb 2022 6:37 UTC
27 points

# Ro­bust Co­op­er­a­tion in the Pri­soner’s Dilemma

7 Jun 2013 8:30 UTC
120 points

# Notes/​blog posts on two re­cent MIRI papers

14 Jul 2013 23:11 UTC
35 points

# No Li­cense To Be Human

20 Aug 2008 23:18 UTC
57 points

# An an­gle of at­tack on Open Prob­lem #1

18 Aug 2012 12:08 UTC
48 points

# Reflec­tion in Prob­a­bil­is­tic Logic

24 Mar 2013 16:37 UTC
112 points

# Nat­u­ral­is­tic trust among AIs: The parable of the the­sis ad­vi­sor’s theorem

15 Dec 2013 8:32 UTC
36 points

# The Löbian Ob­sta­cle, And Why You Should Care

7 Sep 2023 23:59 UTC
18 points