Löb's theorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 06:3206:32, 29 May 2024 David Eppstein talk contribs 12,091 bytes +192‎ →Löb's theorem in provability logic: explain intended meaning of box undo
curprev 06:2806:28, 29 May 2024 David Eppstein talk contribs 11,899 bytes −149‎ →Modal formulas: clarify; also re what is Box: just a symbol, so far undo

curprev 23:1923:19, 22 May 2024 Kspiers talk contribs 12,048 bytes −271‎ →External links: remove link to blog undo Tag: Visual edit

curprev 18:5418:54, 21 May 2024 Yitzilitt talk contribs 12,319 bytes +38‎ Added red links, and shifted around {{definition needed}} to earlier in the text. undo Tag: Visual edit
curprev 18:4618:46, 21 May 2024 Yitzilitt talk contribs m 12,281 bytes +169‎ Added {{definition needed}} tag for "modal fixed points" undo Tag: Visual edit

curprev 17:5517:55, 9 April 2024 Karya4122 talk contribs 12,112 bytes +233‎ No edit summary undo Tag: citing a blog or free web host

curprev 10:0710:07, 5 March 2024 Cosmia Nebula talk contribs 11,879 bytes +994‎ →Proof of Löb's theorem: informal sketch undo Tag: Visual edit

curprev 00:5200:52, 15 December 2023 2a02:a45d:e5c0:1:31d7:9f9c:be47:3083 talk 10,885 bytes +449‎ →References: Added reference to Japaridze, De Jongh (1998) undo

curprev 23:1523:15, 14 December 2023 AquitaneHungerForce talk contribs m 10,436 bytes +26‎ Added how to unsourced claim. undo
curprev 18:2918:29, 14 December 2023 Marc Schroeder talk contribs 10,410 bytes +150‎ Updated references undo

curprev 13:4613:46, 10 December 2023 Apokrif talk contribs m 10,260 bytes +4‎ →top undo

curprev 12:3612:36, 30 August 2023 Citation bot talk contribs 10,256 bytes +20‎ Add: isbn. | Use this bot. Report bugs. | Suggested by Anas1712 | #UCB_webform 381/2716 undo

curprev 14:4914:49, 16 July 2023 Nayru25 talk contribs 10,236 bytes +8‎ fix and clarify the presentation of Löb's theorem as a deduction rule (the vdash is necessary there) undo
curprev 14:4314:43, 16 July 2023 Nayru25 talk contribs m 10,228 bytes +17‎ clean up the formula presentation in the intro undo
curprev 14:1114:11, 16 July 2023 Nayru25 talk contribs 10,211 bytes −13‎ Clarify the first step of the proof in the section Proof of Löb's theorem undo

curprev 12:3212:32, 12 July 2023 Anas1712 talk contribs 10,224 bytes +133‎ →Examples: update link undo
curprev 11:4011:40, 12 July 2023 Citation bot talk contribs 10,091 bytes +20‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Mathematical axioms | #UCB_Category 9/22 undo

curprev 21:0721:07, 1 June 2023 Carchasm talk contribs 10,071 bytes −25‎ removed Category:Modal logic using HotCat remove parent of Provability logic undo

curprev 21:4321:43, 9 February 2023 185.47.220.165 talk 10,096 bytes 0‎ →Proof of Löb's theorem: Fix typo undo

curprev 19:1819:18, 4 February 2023 70.123.52.3 talk 10,096 bytes −170‎ →Proof of Löb's theorem: moved the symbolic part of each proof line to the start of the line, for better text alignment and readability. undo

curprev 18:4118:41, 19 December 2022 Wikimorphism talk contribs 10,266 bytes +282‎ →Proof of Löb's theorem: Much of the proof does not use the main hypothesis (\Box P \to P). For clarity, it helps to run that part of the proof at the beginning, so the reader is not continually checking on how \Box p \to p is being used. This reorganization also renders the first part of the proof into a reusable lemma that does not depend on \Box p \to p. undo

curprev 11:5411:54, 27 November 2022 The Eloquent Peasant talk contribs 9,984 bytes +40‎ Adding local short description: "Provability logic", overriding Wikidata description "theorem" undo Tag: Shortdesc helper
curprev 10:5210:52, 27 November 2022 2601:643:8800:ea80:bce9:301c:b73f:994c talk 9,944 bytes −1‎ →Examples: "first" replaced by "also" here. In fact, sometimes Löb's Theorem is needed to prove a thing before it is known. So, saying "first" here is technically wrong. undo

curprev 20:2720:27, 10 June 2022 178.165.174.237 talk 9,945 bytes −66‎ Avoid Rule of Inference notation undo

curprev 13:3913:39, 11 December 2021 Citation bot talk contribs 10,011 bytes +39‎ Add: doi, s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 42/207 undo

curprev 22:2122:21, 20 November 2021 2001:861:3f42:1b60:f5cb:79e8:557d:3631 talk 9,972 bytes +39‎ link Curry's paradox undo

curprev 23:1323:13, 20 December 2020 78.149.213.27 talk 9,933 bytes +6‎ No edit summary undo

curprev 12:0412:04, 9 November 2020 5.48.122.91 talk 9,927 bytes +133‎ No edit summary undo

curprev 14:1314:13, 31 October 2020 5.48.122.91 talk 9,794 bytes +55‎ →Modal rules of inference undo

curprev 00:0500:05, 9 September 2020 5.48.122.91 talk 9,739 bytes −80‎ →Modal fixed points: diagonal lemma undo

curprev 11:2511:25, 5 June 2020 Samuel Thornkey talk contribs 9,819 bytes +29‎ Update dead link to new archive undo Tag: Visual edit
curprev 11:2211:22, 5 June 2020 Samuel Thornkey talk contribs 9,790 bytes +25‎ made more rigouros undo Tag: Visual edit

curprev 03:1303:13, 21 February 2020 Rolf h nelson talk contribs 9,765 bytes +8‎ Undid revision 941809617 by 79.47.73.183 (talk) Not an improvement undo Tag: Undo

curprev 20:3220:32, 20 February 2020 79.47.73.183 talk 9,757 bytes −8‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 12:5812:58, 5 February 2020 Crrauch talk contribs m 9,765 bytes 0‎ →Converse: Löb's theorem implies the existence of modal fixed points: fixed typo undo

curprev 20:5120:51, 22 January 2020 107.181.19.30 talk 9,765 bytes 0‎ Fixed typo: formalised -> formalized undo

curprev 20:3120:31, 18 December 2019 InternetArchiveBot talk contribs 9,765 bytes +90‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 01:2501:25, 21 October 2019 2605:e000:1c0d:c5b0:7c41:25b:6d4f:51bc talk 9,675 bytes −2‎ The link to Yudkowsky's site no longer works. I've updated to a hosted version of what should be the same file on Scribd. undo Tag: Visual edit

curprev 17:1017:10, 5 April 2019 Hahahaha8 talk contribs 9,677 bytes −58‎ cleaned up intro undo

curprev 08:3008:30, 19 March 2019 79.107.104.246 talk 9,735 bytes +15‎ No edit summary undo

curprev 20:3920:39, 1 March 2019 GreatBigDot talk contribs m 9,720 bytes +16‎ Fix footnote formatting. undo
curprev 20:3420:34, 1 March 2019 GreatBigDot talk contribs 9,704 bytes +120‎ →top: Technicality regarding consistency. Lob undo

curprev 10:2710:27, 31 January 2019 Citation bot talk contribs m 9,584 bytes −57‎ Alter: isbn. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 16:3416:34, 6 October 2018 95.130.161.78 talk 9,641 bytes +15‎ →External links: Fixed broken link. undo Tags: Mobile edit Mobile web edit

curprev 17:5317:53, 1 September 2018 Dooglius talk contribs 9,626 bytes −81‎ Removed crank spam undo

curprev 15:0015:00, 26 January 2018 KolbertBot talk contribs m 9,707 bytes +1‎ Bot: HTTP→HTTPS (v481) undo

curprev 16:5116:51, 3 November 2017 JCSantos talk contribs m 9,706 bytes −9‎ →Converse: Löb's theorem implies the existence of modal fixed points: Fixing typo undo

curprev 17:4517:45, 2 November 2017 JCSantos talk contribs 9,715 bytes +242‎ →References: Referenc to Löb's article undo

curprev 05:4505:45, 4 September 2017 KolbertBot talk contribs m 9,473 bytes +1‎ Bot: HTTP→HTTPS undo

curprev 07:4207:42, 17 August 2017 Quinton Feldberg talk contribs m 9,472 bytes +8‎ fix citations undo

29 May 2024

22 May 2024

21 May 2024

9 April 2024

5 March 2024

15 December 2023

14 December 2023

10 December 2023

30 August 2023

16 July 2023

12 July 2023

1 June 2023

9 February 2023

4 February 2023

19 December 2022

27 November 2022

10 June 2022

11 December 2021

20 November 2021

20 December 2020

9 November 2020

31 October 2020

9 September 2020

5 June 2020

21 February 2020

20 February 2020

5 February 2020

22 January 2020

18 December 2019

21 October 2019

5 April 2019

19 March 2019

1 March 2019

31 January 2019

6 October 2018

1 September 2018

26 January 2018

3 November 2017

2 November 2017

4 September 2017

17 August 2017