Richardson's theorem: Revision history

17 October 2024

• curprev 08:0308:03, 17 October 2024 Citation bot talk contribs 6,031 bytes +21 Added doi. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Functions and mappings | #UCB_Category 128/160 undo

11 June 2024

• curprev 13:1313:13, 11 June 2024 Macrakis talk contribs 6,010 bytes +2 minor copyedit undo Tag: Visual edit

4 May 2024

• curprev 07:3807:38, 4 May 2024 Goodmans238 talk contribs 6,008 bytes +115 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo Tag: IABotManagementConsole [1.3]

21 March 2024

• curprev 21:2921:29, 21 March 2024 Thatsme314 talk contribs m 5,893 bytes +1 comma undo

13 August 2023

• curprev 04:1004:10, 13 August 2023 OAbot talk contribs m 5,892 bytes +17 Open access bot: doi added to citation with #oabot. undo

5 May 2023

• curprev 02:2002:20, 5 May 2023 LaundryPizza03 talk contribs 5,875 bytes 0 removed Category:Computability theory; added Category:Undecidable problems using HotCat undo

26 April 2023

• curprev 22:5722:57, 26 April 2023 Summercomplaint talk contribs m 5,875 bytes −1 Undid revision 1151891809 by Summercomplaint (talk) made a mistake undo Tag: Undo
• curprev 21:4921:49, 26 April 2023 Summercomplaint talk contribs m 5,876 bytes +1 →Statement of the theorem: fixed a formatting typo undo Tag: Reverted

30 January 2023

• curprev 09:4609:46, 30 January 2023 OAbot talk contribs m 5,875 bytes +17 Open access bot: doi added to citation with #oabot. undo

13 August 2022

• curprev 00:0900:09, 13 August 2022 Mgkrupa talk contribs 5,858 bytes +146 No edit summary undo

19 July 2022

• curprev 22:3122:31, 19 July 2022 BalinKingOfMoria talk contribs 5,712 bytes 0 No edit summary undo Tags: Mobile edit Mobile web edit Advanced mobile edit

12 July 2022

• curprev 06:5806:58, 12 July 2022 D.Lazard talk contribs 5,712 bytes −221 →top: more accurate lead undo

11 July 2022

• curprev 21:0421:04, 11 July 2022 D.Lazard talk contribs 5,933 bytes −10 Changing short description from "Undecidability of equality of arithmetic expressions" to "Undecidability of equality of real numbers" undo Tag: Shortdesc helper
• curprev 15:3015:30, 11 July 2022 LaundryPizza03 talk contribs 5,943 bytes +36 added Category:Functions and mappings using HotCat undo

22 June 2022

• curprev 07:2107:21, 22 June 2022 Wellonie talk contribs m 5,907 bytes −4 improved wording of a single sentence; "insoluble" is a chemistry term, "unsolvable" is the right one here undo

4 November 2021

• curprev 22:2222:22, 4 November 2021 D.Lazard talk contribs 5,911 bytes −1 →Statement of the theorem: MOS:BBB undo
• curprev 21:3321:33, 4 November 2021 Mikhail Ryazanov talk contribs m 5,912 bytes +17 →Statement of the theorem: fmt. undo

2 August 2021

• curprev 09:1909:19, 2 August 2021 D.Lazard talk contribs 5,895 bytes +75 Adding local short description: "Undecidability of equality of arithmetic expressions", overriding Wikidata description "theorem" (Shortdesc helper) undo
• curprev 01:0101:01, 2 August 2021 OfficialURL talk contribs 5,820 bytes +43 Clarified range of variable in sentence undo Tag: Visual edit

28 December 2020

• curprev 13:2313:23, 28 December 2020 Monkbot talk contribs m 5,777 bytes 0 Task 18 (cosmetic): eval 5 templates: del empty params (1×); hyphenate params (5×); undo Tag: AWB

27 July 2020

• curprev 17:2417:24, 27 July 2020 Jochen Burghardt talk contribs 5,777 bytes −297 →Further reading: ref. has been inlined undo

18 April 2020

• curprev 16:4816:48, 18 April 2020 OAbot talk contribs m 6,074 bytes +17 Open access bot: doi added to citation with #oabot. undo

31 October 2019

• curprev 15:4115:41, 31 October 2019 2003:c3:671d:d5d9:ec0a:f974:4534:d4e5 talk 6,057 bytes +1 →Statement of the theorem: add missing plural s undo

30 September 2019

• curprev 12:5412:54, 30 September 2019 D.Lazard talk contribs m 6,056 bytes +2 →Statement of the theorem: fixing minus undo
• curprev 12:4312:43, 30 September 2019 2601:14f:4500:4d40::f0ae talk 6,054 bytes 0 →Statement of the theorem: correct typo undo
• curprev 07:3407:34, 30 September 2019 D.Lazard talk contribs 6,054 bytes +63 →Statement of the theorem: clearer undo
• curprev 00:3100:31, 30 September 2019 Rich Farmbrough talk contribs m 5,991 bytes +3 →Further reading: clean up undo

29 September 2019

• curprev 23:5823:58, 29 September 2019 2601:14f:4500:4d40::f0ae talk 5,988 bytes +595 →Statement of the theorem: The existing statement was incredibly imprecise, in ways that made it probably just flat incorrect. For example, the text included the statement "if A(x) is in E"; this notation confusingly suggests that A is a function which accepts an expression, such as x, and produces an element of E, when the truth is that A(x) is one syntactic entity that cannot be deconstructed into smaller parts that represents a single expression in E. I have disambiguated as best I can. undo

13 May 2019

• curprev 22:1722:17, 13 May 2019 AManWithNoPlan talk contribs 5,393 bytes −46 jstor undo

30 April 2019

• curprev 09:4709:47, 30 April 2019 Mikhail Ryazanov talk contribs m 5,439 bytes +30 →Extensions: fmt. undo
• curprev 09:4409:44, 30 April 2019 Mikhail Ryazanov talk contribs m 5,409 bytes +75 →Statement of the theorem: fmt., punct. undo
• curprev 09:4209:42, 30 April 2019 Mikhail Ryazanov talk contribs m 5,334 bytes +9 →top: fmt., punct. undo

19 April 2019

• curprev 05:4605:46, 19 April 2019 JCW-CleanerBot talk contribs m 5,325 bytes +8 →Statement of the theorem: task, replaced: J. Symbolic Logic → Journal of Symbolic Logic undo Tag: AWB

10 March 2019

• curprev 00:3200:32, 10 March 2019 JCW-CleanerBot talk contribs m 5,317 bytes +12 →Extensions: task, replaced: JACM → Journal of the ACM undo Tag: AWB

21 January 2019

• curprev 04:5204:52, 21 January 2019 Bender235 talk contribs 5,305 bytes +16 →Statement of the theorem undo
• curprev 04:5004:50, 21 January 2019 Bender235 talk contribs 5,289 bytes +243 →Extensions undo

6 January 2019

• curprev 07:1207:12, 6 January 2019 David Eppstein talk contribs 5,046 bytes −21 not a stub undo

18 May 2018

• curprev 10:2410:24, 18 May 2018 Newagelink talk contribs m 5,067 bytes −4 removing link to nonexisting page undo

18 April 2018

• curprev 01:5101:51, 18 April 2018 InternetArchiveBot talk contribs 5,071 bytes +139 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.5) undo

10 December 2017

• curprev 01:2001:20, 10 December 2017 CBM talk contribs 4,932 bytes 0 Undid revision 814618089 by Pigworts2 (talk) undo

9 December 2017

• curprev 22:3122:31, 9 December 2017 Pigworts2 talk contribs m 4,932 bytes 0 proved -> proven undo

2 December 2017

• curprev 14:4614:46, 2 December 2017 CBM talk contribs 4,932 bytes +15 Undid revision - BRFA was only for templated citations undo
• curprev 03:2303:23, 2 December 2017 JCW-CleanerBot talk contribs m 4,917 bytes −15 task, replaced: J. Symbolic Logic → Journal of Symbolic Logic, removed stub tag using AWB undo

10 September 2017

• curprev 19:2219:22, 10 September 2017 KolbertBot talk contribs m 4,932 bytes +1 Bot: HTTP→HTTPS undo

16 January 2017

• curprev 03:3303:33, 16 January 2017 Sperxios talk contribs 4,931 bytes +4 →Statement of the theorem: Wikilink sntiderivative. undo Tags: Mobile edit Mobile web edit

26 July 2016

• curprev 10:3310:33, 26 July 2016 CBM talk contribs 4,927 bytes +6 Add year undo
• curprev 10:3210:32, 26 July 2016 CBM talk contribs 4,921 bytes +100 Fix ref - it did not point to a PDF file, but to a page on the ACM Digital Library undo

2 June 2015

• curprev 10:1710:17, 2 June 2015 D.Lazard talk contribs m 4,821 bytes +6 →Statement of the theorem: ''a = 0 in the elementary functions" is a nonsense undo

20 March 2015

• curprev 02:2902:29, 20 March 2015 Spacepotato talk contribs 4,815 bytes +6 expand name undo
• curprev 02:2402:24, 20 March 2015 Spacepotato talk contribs 4,809 bytes +594 various bug fixes and clarifications undo