Μ operator: Revision history

17 July 2024

• curprev 13:2913:29, 17 July 2024‎ WOSlinker talk contribs‎ 32,483 bytes −4‎ fix italics undo

11 January 2024

• curprev 06:3006:30, 11 January 2024‎ Sir Ibee talk contribs‎ 32,487 bytes +27‎ Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

20 November 2023

• curprev 13:4413:44, 20 November 2023‎ Kku talk contribs‎ m 32,460 bytes +4‎ kku bot link general recursive function undo

21 September 2023

• curprev 00:4200:42, 21 September 2023‎ GraziePrego talk contribs‎ 32,456 bytes +54‎ Adding short description: "Concept in computability theory" undo Tag: Shortdesc helper

21 March 2023

• curprev 12:0612:06, 21 March 2023‎ Citation bot talk contribs‎ 32,402 bytes −31‎ Alter: chapter-url. URLs might have been anonymized. Add: authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

18 November 2022

• curprev 15:0815:08, 18 November 2022‎ AnomieBOT talk contribs‎ m 32,433 bytes +19‎ Dating maintenance tags: {{Citation needed}} undo
• curprev 13:0713:07, 18 November 2022‎ C7XWiki talk contribs‎ 32,414 bytes +63‎ →‎Definition undo

20 September 2022

• curprev 11:2411:24, 20 September 2022‎ Rjwilmsi talk contribs‎ 32,351 bytes +18‎ →‎References: Journal cites:, undo Tag: AWB

13 June 2022

• curprev 06:4706:47, 13 June 2022‎ Cedar101 talk contribs‎ m 32,333 bytes +30‎ →‎Alternative abstract machine models of the unbounded μ-operator from Minsky (1967) and Boolos-Burgess-Jeffrey (2002): left algin undo
• curprev 06:4506:45, 13 June 2022‎ Cedar101 talk contribs‎ m 32,303 bytes −13‎ →‎Example 3: Definition of the unbounded μ-operator in terms of an abstract machine: align left undo

12 June 2022

• curprev 14:1314:13, 12 June 2022‎ 2601:195:4000:326:9974:bc6d:f6bd:d894 talk‎ 32,316 bytes −5‎ Aligned link with its target undo Tags: Mobile edit Mobile web edit

20 May 2022

• curprev 00:4400:44, 20 May 2022‎ RDBrown talk contribs‎ 32,321 bytes +376‎ →‎References: →citation undo

15 February 2021

• curprev 22:5222:52, 15 February 2021‎ 2001:861:3ac0:4fa0:3cf4:cd04:c9aa:2d2 talk‎ 31,945 bytes +28‎ No edit summary undo

26 September 2019

• curprev 11:4111:41, 26 September 2019‎ Ndcroos talk contribs‎ m 31,917 bytes −18‎ Undid revision 917977090 by Ndcroos (talk) undo Tag: Undo
• curprev 11:4011:40, 26 September 2019‎ Ndcroos talk contribs‎ m 31,935 bytes +18‎ →‎Example 3: Definition of the unbounded μ-operator in terms of an abstract machine undo
• curprev 11:3811:38, 26 September 2019‎ Ndcroos talk contribs‎ m 31,917 bytes +56‎ →‎Definition undo

6 June 2019

• curprev 00:1100:11, 6 June 2019‎ I dream of horses talk contribs‎ m 31,861 bytes +9‎ Clean up undo Tag: AWB

16 May 2019

• curprev 08:0708:07, 16 May 2019‎ Joel Brennan talk contribs‎ 31,852 bytes 0‎ No edit summary undo
• curprev 08:0708:07, 16 May 2019‎ Joel Brennan talk contribs‎ 31,852 bytes 0‎ consistency throughout article undo
• curprev 08:0408:04, 16 May 2019‎ Joel Brennan talk contribs‎ 31,852 bytes 0‎ No edit summary undo
• curprev 08:0308:03, 16 May 2019‎ Joel Brennan talk contribs‎ m 31,852 bytes +462‎ →‎Alternative abstract machine models of the unbounded μ operator from Minsky (1967) and Boolos-Burgess-Jeffrey (2002) undo
• curprev 07:5407:54, 16 May 2019‎ Joel Brennan talk contribs‎ m 31,390 bytes +95‎ →‎Total function demonstration undo
• curprev 07:5007:50, 16 May 2019‎ Joel Brennan talk contribs‎ m 31,295 bytes +230‎ →‎Example 3: Definition of the unbounded μ operator in terms of an abstract machine undo
• curprev 07:4007:40, 16 May 2019‎ Joel Brennan talk contribs‎ m 31,065 bytes +344‎ →‎Example 2: The unbounded μ-operator is not primitive-recursive undo
• curprev 07:2107:21, 16 May 2019‎ Joel Brennan talk contribs‎ m 30,721 bytes +177‎ →‎Example 1: The bounded μ-operator is a primitive recursive function undo
• curprev 07:0507:05, 16 May 2019‎ Joel Brennan talk contribs‎ m 30,544 bytes −1‎ →‎Example #3: Definition of the unbounded μ operator in terms of an abstract machine undo
• curprev 07:0507:05, 16 May 2019‎ Joel Brennan talk contribs‎ m 30,545 bytes −1‎ →‎Example #2: The unbounded μ-operator is not primitive-recursive undo
• curprev 07:0507:05, 16 May 2019‎ Joel Brennan talk contribs‎ m 30,546 bytes −1‎ →‎Example #1: The bounded μ-operator is a primitive recursive function undo
• curprev 07:0407:04, 16 May 2019‎ Joel Brennan talk contribs‎ m 30,547 bytes +18‎ →‎Properties undo
• curprev 07:0207:02, 16 May 2019‎ Joel Brennan talk contribs‎ m 30,529 bytes +174‎ →‎Properties undo
• curprev 06:5206:52, 16 May 2019‎ Joel Brennan talk contribs‎ m 30,355 bytes +207‎ →‎Definition undo

13 March 2019

• curprev 20:5320:53, 13 March 2019‎ Beland talk contribs‎ 30,148 bytes +8‎ →‎Example #2: The unbounded μ-operator is not primitive-recursive: push reference into footnote undo
• curprev 20:5220:52, 13 March 2019‎ Beland talk contribs‎ 30,140 bytes +2‎ try to fix punctuation (hopefully correctly) undo

8 March 2019

• curprev 17:2017:20, 8 March 2019‎ AugPi talk contribs‎ 30,138 bytes +107‎ →‎Definition undo

7 November 2018

• curprev 10:4010:40, 7 November 2018‎ CommyMath talk contribs‎ 30,031 bytes +717‎ No edit summary undo

12 August 2018

• curprev 09:3809:38, 12 August 2018‎ DKordic talk contribs‎ m 29,314 bytes +40‎ No edit summary undo

7 August 2018

• curprev 08:5708:57, 7 August 2018‎ ShakespeareFan00 talk contribs‎ m 29,274 bytes −111‎ Mismatched italic formatting repaired undo

28 November 2017

• curprev 17:0017:00, 28 November 2017‎ GoingBatty talk contribs‎ 29,385 bytes +25‎ fixed link undo

3 October 2017

• curprev 14:2014:20, 3 October 2017‎ CBM talk contribs‎ m 29,360 bytes −123‎ c/e undo

22 September 2017

• curprev 16:1616:16, 22 September 2017‎ AnomieBOT talk contribs‎ m 29,483 bytes +40‎ Dating maintenance tags: {{Citation needed}} {{Clarify}} undo
• curprev 14:1614:16, 22 September 2017‎ Nbro talk contribs‎ 29,443 bytes +30‎ No edit summary undo

28 April 2017

• curprev 00:5100:51, 28 April 2017‎ Cedar101 talk contribs‎ m 29,413 bytes +4‎ →‎Example #2: The unbounded μ-operator is not primitive-recursive: ! undo
• curprev 00:5000:50, 28 April 2017‎ Cedar101 talk contribs‎ m 29,409 bytes +4‎ →‎Example #1: The bounded μ-operator is a primitive recursive function: ! undo
• curprev 00:1100:11, 28 April 2017‎ Quuxplusone talk contribs‎ m 29,405 bytes +3‎ given => provided (it's an assumption, not an actual truth, IIUC the connotation) undo

18 August 2016

• curprev 10:4610:46, 18 August 2016‎ CBM talk contribs‎ m 29,402 bytes −201‎ Don't use the math template on articles that don't use it (also tmath, mvar, etc.) undo

16 August 2016

• curprev 10:3510:35, 16 August 2016‎ Cedar101 talk contribs‎ m 29,603 bytes +33‎ →‎Examples: ! undo
• curprev 10:3210:32, 16 August 2016‎ Cedar101 talk contribs‎ m 29,570 bytes +168‎ →‎Properties: {{ordered list}} undo

18 June 2016

• curprev 01:3701:37, 18 June 2016‎ Myasuda talk contribs‎ m 29,402 bytes 0‎ →‎Total function demonstration: sp undo

21 November 2015

• curprev 09:5609:56, 21 November 2015‎ 158.222.148.204 talk‎ 29,402 bytes −16‎ →‎Definition: Removed explanation of natural numbers and instead linked to the natural numbers page. undo

14 October 2015

• curprev 22:5422:54, 14 October 2015‎ Bgwhite talk contribs‎ 29,418 bytes +16‎ Add DEFAULTSORT - using AWB undo