Diagonal lemma: Revision history

28 October 2024

• curprev 01:3901:39, 28 October 2024 RussBot talk contribs m 11,013 bytes +39 Robot: Editing intentional link to disambiguation page in hatnote per WP:INTDABLINK (explanation) undo Tag: Disambiguation links added

22 October 2024

• curprev 02:5002:50, 22 October 2024 Fgnievinski talk contribs 10,974 bytes −79 →top undo Tag: Disambiguation links added

29 April 2024

• curprev 21:5921:59, 29 April 2024 2601:204:f181:9410:39b8:1833:c5eb:bb42 talk 11,053 bytes +10 →Statement of the lemma: Fixed typography undo
• curprev 21:4921:49, 29 April 2024 2601:204:f181:9410:39b8:1833:c5eb:bb42 talk 11,043 bytes 0 →Background undo
• curprev 21:4821:48, 29 April 2024 2601:204:f181:9410:39b8:1833:c5eb:bb42 talk 11,043 bytes +1 →Background undo
• curprev 21:4721:47, 29 April 2024 2601:204:f181:9410:39b8:1833:c5eb:bb42 talk 11,042 bytes +23 /* Background Improved wording undo

17 January 2024

• curprev 21:2721:27, 17 January 2024 174.20.188.244 talk 11,019 bytes +184 A fixed point of function f is any x such that x = f(x). The preceding formulation incorrectly labeled a "fixed point" an certain x such that x is equivalent in theory T to f(x). Since (in general) we can have x ≠ y such that x is equivalent to y, the preceding formulation was incorrect. The flaw is remedied by defining the relevant operation as one that operates on equivalence classes of sentences. undo

13 April 2023

• curprev 17:3317:33, 13 April 2023 Imsecretguy talk contribs m 10,835 bytes +1 →Proof: "formula" -> "sentence" undo Tag: 2017 wikitext editor
• curprev 17:3117:31, 13 April 2023 Imsecretguy talk contribs m 10,834 bytes +38 →Statement of the lemma: Consistently use "sentence" rather than "formula", where appropriate. And link the "sentence" definition. undo Tag: 2017 wikitext editor
• curprev 17:2617:26, 13 April 2023 Imsecretguy talk contribs m 10,796 bytes +29 →Background: Replace occurrence of "predicate" (which isn't used elsewhere in article) with "formula" (which is what it literally is). undo Tag: 2017 wikitext editor
• curprev 17:1917:19, 13 April 2023 Imsecretguy talk contribs m 10,767 bytes −2 →Proof: consistent bracket usage undo Tag: 2017 wikitext editor

4 July 2022

• curprev 19:5519:55, 4 July 2022 72.192.61.81 talk 10,769 bytes +52 Clarify. undo

5 January 2022

• curprev 05:4805:48, 5 January 2022 Anon423 talk contribs 10,717 bytes +54 Adding short description: "Statement in mathematical logic" (Shortdesc helper) undo

19 December 2021

• curprev 19:1119:11, 19 December 2021 AxelBoldt talk contribs 10,663 bytes +199 Using different letter for representing computable functions undo
• curprev 18:4518:45, 19 December 2021 AxelBoldt talk contribs 10,464 bytes +188 A few minor additions undo Tag: Visual edit: Switched

18 December 2021

• curprev 15:5315:53, 18 December 2021 AxelBoldt talk contribs 10,276 bytes −20 →Statement of the lemma: better intuition undo Tag: Visual edit

17 December 2021

• curprev 01:0301:03, 17 December 2021 AxelBoldt talk contribs 10,296 bytes +117 →Background: include "first-order"; several minor undo Tag: Visual edit: Switched

29 November 2021

• curprev 02:2302:23, 29 November 2021 JackHKeynes talk contribs m 10,179 bytes +1 →Proof: changed "rewrited" to "rewritten" (fixing spelling error) undo

10 November 2021

• curprev 13:2513:25, 10 November 2021 C44986054 talk contribs 10,178 bytes −1 →Statement of the lemma undo
• curprev 13:2013:20, 10 November 2021 C44986054 talk contribs m 10,179 bytes +23 →Background undo
• curprev 13:1813:18, 10 November 2021 C44986054 talk contribs 10,156 bytes +100 →Background undo
• curprev 12:5712:57, 10 November 2021 C44986054 talk contribs 10,056 bytes −28 →Proof undo
• curprev 12:5512:55, 10 November 2021 C44986054 talk contribs 10,084 bytes +130 →Statement of the lemma undo
• curprev 12:4812:48, 10 November 2021 C44986054 talk contribs 9,954 bytes +89 →Proof undo
• curprev 12:4512:45, 10 November 2021 C44986054 talk contribs 9,865 bytes +640 →Proof undo

3 May 2021

• curprev 13:0813:08, 3 May 2021 WikiCleanerBot talk contribs m 9,225 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

22 April 2021

• curprev 21:0521:05, 22 April 2021 2a02:1812:1700:c500:4993:8f90:ad74:25e2 talk 9,225 bytes +165 No edit summary undo

18 December 2020

• curprev 14:3414:34, 18 December 2020 Tom.Reding talk contribs m 9,060 bytes +22 Enum 1 author/editor WL; WP:GenFixes on undo Tag: AWB

8 October 2020

• curprev 07:1007:10, 8 October 2020 84.190.126.213 talk 9,038 bytes +149 →Statement of the lemma undo

12 September 2020

• curprev 19:1619:16, 12 September 2020 Jureperitus talk contribs m 8,889 bytes +23 →History: linked to Elliott Mendelson in body of article where he is referenced. undo

20 July 2020

• curprev 00:2400:24, 20 July 2020 Omnipaedista talk contribs 8,866 bytes +1 →History undo

19 July 2020

• curprev 23:5323:53, 19 July 2020 Omnipaedista talk contribs 8,865 bytes +22 dab undo
• curprev 23:5223:52, 19 July 2020 Omnipaedista talk contribs 8,843 bytes −2 no reason for boldface undo
• curprev 23:5123:51, 19 July 2020 Omnipaedista talk contribs 8,845 bytes +991 boldface per WP:R#PLA undo

25 May 2020

• curprev 18:4418:44, 25 May 2020 Beland talk contribs m 7,854 bytes −138 convert special characters (via WP:JWB) undo

1 January 2020

• curprev 20:0720:07, 1 January 2020 Vlad Patryshev talk contribs m 7,992 bytes +92 →Background: using math notation for formulas and for NNO undo

14 September 2019

• curprev 23:4823:48, 14 September 2019 Omnipaedista talk contribs 7,900 bytes +6 add publication date undo
• curprev 23:2023:20, 14 September 2019 Omnipaedista talk contribs 7,894 bytes −2 →See also undo
• curprev 23:1923:19, 14 September 2019 Omnipaedista talk contribs 7,896 bytes +110 add publisher undo

26 August 2019

• curprev 14:5014:50, 26 August 2019 Jarble talk contribs 7,786 bytes +36 adding links to references using Google Scholar undo

28 June 2019

• curprev 12:4212:42, 28 June 2019 Bayeniv talk contribs 7,750 bytes +23 Fix broken link. (The original redirects to https://haimgaifman.net/naming-diag.pdf and 'not found', but https://haimgaifman.net/research/ on the same site had a link to the new location of the PDF.) undo

15 June 2019

• curprev 18:3718:37, 15 June 2019 31.50.156.73 talk 7,727 bytes −13 →Proof undo
• curprev 18:3718:37, 15 June 2019 31.50.156.73 talk 7,740 bytes +13 →Proof undo

4 June 2019

• curprev 13:2213:22, 4 June 2019 Beland talk contribs m 7,727 bytes −42 convert HTML entities, punctuation (via WP:JWB) undo

5 March 2019

• curprev 16:3916:39, 5 March 2019 88.67.211.223 talk 7,769 bytes +9 →Background undo

31 December 2018

• curprev 04:4804:48, 31 December 2018 Paradoctor talk contribs 7,760 bytes +663 synonyms++; copyedit undo

16 May 2018

• curprev 20:4120:41, 16 May 2018 Wikisaurus talk contribs 7,097 bytes −1 →Background undo

1 April 2018

• curprev 07:0307:03, 1 April 2018 Galobtter talk contribs 7,098 bytes +6 conver to use {{about}} undo

18 September 2017

• curprev 00:0600:06, 18 September 2017 RJGray talk contribs 7,092 bytes +19 →References: Some ref work: added link, added name for consistency undo

29 July 2017

• curprev 10:3610:36, 29 July 2017 Nikitadanilov talk contribs m 7,073 bytes +2 Use boldface for meta-theory terms. undo