Successor function: Revision history

27 March 2024

• curprev 13:2713:27, 27 March 2024 Dedhert.Jr talk contribs 3,495 bytes +416 supply source for the successor function? undo

5 August 2021

• curprev 11:3011:30, 5 August 2021 Hellacioussatyr talk contribs m 3,079 bytes +4 →Overview: blackboard bold undo Tag: 2017 wikitext editor

9 July 2021

• curprev 12:0312:03, 9 July 2021 Jochen Burghardt talk contribs 3,075 bytes −197 Undid revision 1032662452 by 2A02:CE0:2001:A23:ED2F:80DF:363A:1AF1: succ is defined on natural numbers, so the examples were misleading undo Tag: Undo

8 July 2021

• curprev 21:1521:15, 8 July 2021 2a02:ce0:2001:a23:ed2f:80df:363a:1af1 talk 3,272 bytes +197 I Added Examples! undo Tags: Reverted Visual edit Mobile edit Mobile web edit

22 March 2021

• curprev 00:4200:42, 22 March 2021 Envysan talk contribs m 3,075 bytes −36 Reverted 1 edit by 43.245.9.58 (talk) to last revision by 86.127.34.116 undo Tags: Twinkle Undo
• curprev 00:3500:35, 22 March 2021 43.245.9.58 talk 3,111 bytes +36 NadeemUBL2205462002816156@gmail.com undo Tags: Reverted Visual edit Mobile edit Mobile web edit adding email address

29 November 2020

• curprev 21:5921:59, 29 November 2020 86.127.34.116 talk 3,075 bytes +4 →Overview: formal lang undo

26 March 2020

• curprev 16:5516:55, 26 March 2020 Joel Brennan talk contribs m 3,071 bytes +66 No edit summary undo

8 December 2019

• curprev 13:1213:12, 8 December 2019 The Anome talk contribs 3,005 bytes +63 Importing Wikidata short description: "Elementary operation on a natural number" (Shortdesc helper) undo

18 July 2019

• curprev 08:5008:50, 18 July 2019 Jochen Burghardt talk contribs 2,942 bytes +69 →Overview: suggest to give full computation for 5+2; suggest to mention "types", to make more clear that J.v.N. implements numbers by sets; grammar undo
• curprev 08:4408:44, 18 July 2019 Jochen Burghardt talk contribs 2,873 bytes +42 →top: not just some p.r. function, but a building block undo
• curprev 05:0905:09, 18 July 2019 DesolateReality talk contribs 2,831 bytes +39 →Overview undo
• curprev 05:0505:05, 18 July 2019 DesolateReality talk contribs 2,792 bytes −3 →Overview undo
• curprev 05:0305:03, 18 July 2019 DesolateReality talk contribs 2,795 bytes −5 →Overview undo
• curprev 05:0205:02, 18 July 2019 DesolateReality talk contribs 2,800 bytes +7 →Overview undo
• curprev 05:0105:01, 18 July 2019 DesolateReality talk contribs 2,793 bytes −16 →Overview undo
• curprev 05:0005:00, 18 July 2019 DesolateReality talk contribs 2,809 bytes 0 →Overview undo
• curprev 04:5904:59, 18 July 2019 DesolateReality talk contribs 2,809 bytes +23 →Overview undo
• curprev 04:5904:59, 18 July 2019 DesolateReality talk contribs 2,786 bytes +23 →Overview undo
• curprev 04:5604:56, 18 July 2019 DesolateReality talk contribs 2,763 bytes +48 →Overview undo
• curprev 04:5404:54, 18 July 2019 DesolateReality talk contribs 2,715 bytes −1 No edit summary undo
• curprev 04:5304:53, 18 July 2019 DesolateReality talk contribs 2,716 bytes +62 No edit summary undo

28 January 2019

• curprev 00:0700:07, 28 January 2019 Falcor84 talk contribs 2,654 bytes −398 Removed sentences investigating the binary zeration operation as defined differently from the formula given earlier. If reintroduced, this should go in a separate more extensive section. undo

16 December 2018

• curprev 22:2822:28, 16 December 2018 ComplexRational talk contribs m 3,052 bytes −2 →Overview: corrected myself: exponentiation isn't commutative or associative undo
• curprev 19:4419:44, 16 December 2018 AnomieBOT talk contribs m 3,054 bytes +19 Dating maintenance tags: {{Clarify}} undo
• curprev 19:2419:24, 16 December 2018 Jochen Burghardt talk contribs 3,035 bytes +156 →Overview: commutative? undo
• curprev 16:2816:28, 16 December 2018 ComplexRational talk contribs 2,879 bytes +581 →Overview: content from Ackermann paper undo

6 December 2018

• curprev 16:0916:09, 6 December 2018 IntegralPython talk contribs 2,298 bytes +61 →Overview: ce undo
• curprev 16:0316:03, 6 December 2018 IntegralPython talk contribs 2,237 bytes +101 repeated succession undo

6 October 2018

• curprev 00:0100:01, 6 October 2018 Xayahrainie43 talk contribs 2,136 bytes +20 →References undo

25 March 2018

• curprev 00:0800:08, 25 March 2018 167.57.91.233 talk 2,116 bytes +14 →See also undo

17 January 2018

• curprev 11:1611:16, 17 January 2018 Tea2min talk contribs 2,102 bytes +25 →Overview: Try to make link target minimally more obvious. Feel free to revert if you prefer the previous version. undo
• curprev 09:0809:08, 17 January 2018 Dngnogu talk contribs 2,077 bytes +10 →Overview undo

11 September 2017

• curprev 20:2120:21, 11 September 2017 ClueBot NG talk contribs m 2,067 bytes +1,303 Reverting possible vandalism by 107.1.178.166 to version by Officer781. Report False Positive? Thanks, ClueBot NG. (3122974) (Bot) undo
• curprev 20:2120:21, 11 September 2017 107.1.178.166 talk 764 bytes −1,303 →Overview: Was not correct undo Tags: possible vandalism references removed

3 July 2017

• curprev 06:1306:13, 3 July 2017 Officer781 talk contribs 2,067 bytes 0 Undid revision 788741286 by Officer781 (talk) according to Hyperoperation page undo
• curprev 06:0706:07, 3 July 2017 Officer781 talk contribs 2,067 bytes 0 change 1+b to a+1 undo

26 August 2016

• curprev 05:5505:55, 26 August 2016 Nicole Sharp talk contribs 2,067 bytes +143 zeration undo

30 May 2016

• curprev 22:0522:05, 30 May 2016 Omnipaedista talk contribs 1,924 bytes +14 No edit summary undo

10 May 2016

• curprev 19:2019:20, 10 May 2016 Nihiltres talk contribs m 1,910 bytes −18 →top: Simplified hatnote syntax using AWB undo

23 April 2016

• curprev 21:4321:43, 23 April 2016 Florian Blaschke talk contribs 1,928 bytes +39 →See also: +1 undo

2 November 2015

• curprev 21:4921:49, 2 November 2015 Jochen Burghardt talk contribs 1,889 bytes −60 Undid revision 688705441 by Sylphi (talk): occasional conversion to ((math)) wasn't an improvement undo
• curprev 15:4415:44, 2 November 2015 Sylphi talk contribs m 1,949 bytes +60 No edit summary undo Tag: Visual edit

21 March 2015

• curprev 22:5222:52, 21 March 2015 VladikVP talk contribs m 1,889 bytes +27 Added clarity to readers not familiar with hyperoperations beyond exponentiation. undo

5 May 2014

• curprev 20:2320:23, 5 May 2014 Tbvdm talk contribs m 1,862 bytes +2 the axiom of infinity does not require the existence of an infinite set; indeed it guarantees it undo

15 March 2014

• curprev 09:3609:36, 15 March 2014 Jochen Burghardt talk contribs 1,860 bytes +628 clarified: S usually not defined by +; changed ((math)) to unicode; table layout for def of +; provided reference undo

14 March 2014

• curprev 20:4520:45, 14 March 2014 62.147.27.177 talk 1,232 bytes +143 linked back to hyperoperation undo

15 February 2014

• curprev 20:0520:05, 15 February 2014 BD2412 talk contribs 1,089 bytes −21 →See also: remove self-referential disambiguation link undo
• curprev 20:0320:03, 15 February 2014 BD2412 talk contribs m 1,110 bytes +6 →See also: Fixing links to disambiguation pages using AWB undo

14 October 2013

• curprev 11:3811:38, 14 October 2013 178.174.223.135 talk 1,104 bytes −135 No edit summary undo