Diagonal lemma: Revision history

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
• curprev 10:3510:35, 29 July 2017‎ Nikitadanilov talk contribs‎ m 7,071 bytes +12‎ Use boldface for meta-theory terms. undo
• curprev 10:3310:33, 29 July 2017‎ Nikitadanilov talk contribs‎ m 7,059 bytes +4‎ Use boldface for meta-theory terms. undo