Elementary function arithmetic: 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 20:4820:48, 17 February 2025 Tassedethe talk contribs m 6,731 bytes +32 v2.05 - Repaired 1 link to disambiguation page - (You can help) - Harvey Friedman undo Tag: WPCleaner

curprev 08:0308:03, 6 November 2024 EmilJ talk contribs 6,699 bytes +19 more direct link undo

curprev 20:3220:32, 22 August 2023 C7XWiki talk contribs 6,680 bytes +82 No edit summary undo Tags: Mobile edit Mobile web edit
curprev 20:3120:31, 22 August 2023 C7XWiki talk contribs 6,598 bytes +108 →Definition undo Tags: Mobile edit Mobile web edit
curprev 20:2720:27, 22 August 2023 C7XWiki talk contribs 6,490 bytes +2 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 02:5402:54, 22 April 2023 C7XWiki talk contribs 6,488 bytes +407 Con(T) is a Π_1^0 sentence, therefore Π_2^0 →Related systems undo

curprev 16:5716:57, 13 February 2023 Vaughan Pratt talk contribs m 6,081 bytes +1 Inserted a disambiguating comma undo

curprev 01:0301:03, 25 December 2022 Beland talk contribs m 6,080 bytes −6 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 06:3306:33, 19 November 2022 WikiCleanerBot talk contribs m 6,086 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 11:1311:13, 8 November 2022 C7XWiki talk contribs 6,086 bytes +227 Citing statement that names denote the same theory undo

curprev 21:5521:55, 24 August 2022 Mgkrupa talk contribs 5,859 bytes +146 No edit summary undo

curprev 03:4303:43, 25 July 2022 2601:140:8380:edc0:c814:16eb:4ac3:e974 talk 5,713 bytes −3 →Friedman's grand conjecture undo Tags: Mobile edit Mobile web edit

curprev 10:5910:59, 5 February 2022 FinnV3 talk contribs m 5,716 bytes 0 Fix typo (theiry -> theory) undo Tag: 2017 wikitext editor

curprev 16:4016:40, 5 January 2022 96.68.179.129 talk 5,716 bytes −34 examples given and noticed as present, thanks! undo

curprev 23:2123:21, 23 October 2021 1234qwer1234qwer4 talk contribs m 5,750 bytes −6 →Related systems: circular redirect undo

curprev 17:1517:15, 20 October 2021 Beland talk contribs 5,756 bytes +44 whitespace, and {{math}} to prevent line breaks inside expressions undo

curprev 03:3503:35, 26 September 2021 Yitzilitt talk contribs 5,712 bytes +59 Importing Wikidata short description: "System of arithmetic in proof theiry" (Shortdesc helper) undo

curprev 20:1820:18, 18 April 2021 Beland talk contribs m 5,653 bytes −25 convert special characters (via WP:JWB) undo
curprev 16:5316:53, 18 April 2021 2001:a61:2b7e:3a01:c9f0:df08:f42f:c22b talk 5,678 bytes +4 Link to wikipedia article. undo Tag: Visual edit

curprev 10:2710:27, 8 June 2020 2a01:cb08:b0e:7700:329c:23ff:fea2:df4f talk 5,674 bytes +22 →See also undo

curprev 08:1808:18, 2 March 2020 Bernanke's Crossbow talk contribs m 5,652 bytes +91 Added hatnote undo

curprev 05:1905:19, 6 January 2020 Michael Hardy talk contribs 5,561 bytes +36 →Related systems undo

curprev 06:2006:20, 14 August 2019 Michipedian talk contribs 5,525 bytes +1 trim undo

curprev 00:4600:46, 19 June 2019 129.127.37.180 talk 5,524 bytes +2 →Definition: spacing for clarity undo

curprev 05:3305:33, 5 January 2019 David Eppstein talk contribs 5,522 bytes −64 →Friedman's grand conjecture: I suspect the actual non-EFA statement related to union-find is its non-constant lower bound, but this needs a source to confirm; remove until sourced undo

curprev 12:3612:36, 8 December 2018 AnomieBOT talk contribs m 5,586 bytes +19 Dating maintenance tags: {{Example needed}} undo

curprev 15:5215:52, 13 May 2018 Bear-rings talk contribs m 5,567 bytes 0 ]]s undo

curprev 16:3716:37, 24 April 2018 Headbomb talk contribs 5,567 bytes −55 ce undo

curprev 14:5614:56, 5 November 2017 AnomieBOT talk contribs m 5,622 bytes +38 Dating maintenance tags: {{Clarify}} {{Explain}} undo
curprev 14:3614:36, 5 November 2017 Yahya Abdal-Aziz talk contribs 5,584 bytes +242 wikilink first-order arithmetic; "logic-free" needs clarification; minor formatting changes; suppress a "see also" entry undo Tag: nowiki added
curprev 14:1314:13, 5 November 2017 Yahya Abdal-Aziz talk contribs 5,342 bytes +36 →top: - request inline references using "No footnotes" template undo
curprev 13:0713:07, 5 November 2017 Yahya Abdal-Aziz talk contribs 5,306 bytes +18 →Friedman's grand conjecture: - seek example for claim "it is easy to construct …" undo

curprev 13:3613:36, 28 July 2017 5.2.200.163 talk 5,288 bytes +4 No edit summary undo

curprev 21:2321:23, 5 August 2016 CRGreathouse talk contribs 5,284 bytes +42 +cat undo

curprev 07:2207:22, 7 May 2016 David Eppstein talk contribs m 5,242 bytes +41 Steve Simpson (mathematician) undo

curprev 01:2001:20, 21 December 2015 Omnipaedista talk contribs 5,201 bytes +6 per MOS:BOLDSYN undo

curprev 21:2021:20, 31 August 2015 R.e.b. talk contribs 5,195 bytes +42 →top: Expanding article undo

curprev 21:2821:28, 23 April 2015 109.149.209.222 talk 5,153 bytes −4 No edit summary undo
curprev 21:2621:26, 23 April 2015 109.149.209.222 talk 5,157 bytes 0 No edit summary undo
curprev 21:2421:24, 23 April 2015 109.149.209.222 talk 5,157 bytes +4 No edit summary undo

curprev 06:4806:48, 8 March 2015 206.116.79.72 talk 5,153 bytes +13 Fixed link to Szemeredi's lemma undo

curprev 20:4520:45, 23 January 2015 206.214.242.230 talk 5,140 bytes +6 →Related systems: Bold since that is a redirect here undo
curprev 20:2720:27, 23 January 2015 206.214.242.230 talk 5,134 bytes +16 →Related systems undo
curprev 20:2620:26, 23 January 2015 206.214.242.230 talk 5,118 bytes +399 →Related systems undo

curprev 08:5408:54, 17 December 2013 Omnipaedista talk contribs 4,719 bytes +51 add commented out note undo

curprev 14:0714:07, 10 September 2013 Mgiganteus1 talk contribs m 4,668 bytes +6 copyedit intro undo
curprev 14:0614:06, 10 September 2013 Mgiganteus1 talk contribs 4,662 bytes +256 rv unexplained removal undo

curprev 22:1922:19, 10 July 2013 Yobot talk contribs m 4,406 bytes −18 WP:CHECKWIKI error fixes using AWB (9345) undo

curprev 00:5100:51, 7 June 2013 24.3.155.133 talk 4,424 bytes +67 No edit summary undo
curprev 00:4800:48, 7 June 2013 24.3.155.133 talk 4,357 bytes −305 No edit summary undo

17 February 2025

6 November 2024

22 August 2023

22 April 2023

13 February 2023

25 December 2022

19 November 2022

8 November 2022

24 August 2022

25 July 2022

5 February 2022

5 January 2022

23 October 2021

20 October 2021

26 September 2021

18 April 2021

8 June 2020

2 March 2020

6 January 2020

14 August 2019

19 June 2019

5 January 2019

8 December 2018

13 May 2018

24 April 2018

5 November 2017

28 July 2017

5 August 2016

7 May 2016

21 December 2015

31 August 2015

23 April 2015

8 March 2015

23 January 2015

17 December 2013

10 September 2013

10 July 2013

7 June 2013