Kleene's recursion theorem: Revision history

17 March 2025

• curprev 15:3815:38, 17 March 2025 Gantegi talk contribs 21,134 bytes +12 Link suggestions feature: 3 links added. undo Tags: Visual edit Newcomer task Suggested: add links

18 July 2024

• curprev 09:5009:50, 18 July 2024 EmilJ talk contribs 21,122 bytes −369 This "extension" exactly describes the Rogers fp theorem above, thus move it there. Also, adjusted some of the formulations undo

21 June 2024

• curprev 09:3509:35, 21 June 2024 Shardul.chiplunkar talk contribs m 21,491 bytes +2 Spelling/grammar/punctuation/typographical correction undo

19 December 2023

• curprev 03:5303:53, 19 December 2023 WikiCleanerBot talk contribs m 21,489 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

18 December 2023

• curprev 10:5510:55, 18 December 2023 147.162.114.138 talk 21,489 bytes −1 →Kleene's second recursion theorem undo Tag: Visual edit
• curprev 10:5410:54, 18 December 2023 147.162.114.138 talk 21,490 bytes +963 →Kleene's second recursion theorem: Added considerations about computable functions undo Tag: Visual edit

14 December 2023

• curprev 21:1021:10, 14 December 2023 5.102.10.70 talk 20,527 bytes +118 →The first recursion theorem undo Tag: Visual edit
• curprev 21:0921:09, 14 December 2023 5.102.10.70 talk 20,409 bytes +657 →Example: Definition for functionals undo Tag: Visual edit
• curprev 21:0121:01, 14 December 2023 5.102.10.70 talk 19,752 bytes −4 →See also undo Tag: Visual edit

5 June 2023

• curprev 11:4111:41, 5 June 2023 WolfRAMM talk contribs m 19,756 bytes +54 Adding local short description: "Theorem in computability theory", overriding Wikidata description "also called the fixed point theorem, in computability theory" undo Tag: Shortdesc helper

29 April 2023

• curprev 17:3517:35, 29 April 2023 91.112.18.90 talk 19,702 bytes +150 →Rogers's fixed-point theorem: Prose to delineate from conventional fixed point definition undo

4 January 2023

• curprev 03:3703:37, 4 January 2023 Citation bot talk contribs 19,552 bytes +47 Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1389/2500 undo

25 December 2022

• curprev 09:3509:35, 25 December 2022 Hellacioussatyr talk contribs 19,505 bytes +59 →Example undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 09:2809:28, 25 December 2022 Hellacioussatyr talk contribs 19,446 bytes +35 →Rogers's fixed-point theorem undo Tags: Mobile edit Mobile web edit Advanced mobile edit

20 August 2022

• curprev 01:3801:38, 20 August 2022 Hellacioussatyr talk contribs 19,411 bytes +17 →Proof sketch for the first recursion theorem undo Tags: Mobile edit Mobile web edit Advanced mobile edit

5 August 2022

• curprev 01:4101:41, 5 August 2022 Dabed talk contribs 19,394 bytes +68 →See also: +"Diagonal lemma a closely related result in mathematical logic" undo Tag: Visual edit: Switched

12 February 2022

• curprev 22:2922:29, 12 February 2022 SdkbBot talk contribs m 19,326 bytes +7 Fixed consecutive punctuation error and general fixes (task 3) undo Tag: AWB

3 August 2021

• curprev 17:5317:53, 3 August 2021 2603:9000:cf16:4c97:0:89f3:a9a0:cbe9 talk 19,319 bytes +2 No edit summary undo

20 June 2021

• curprev 07:1107:11, 20 June 2021 PohranicniStraze talk contribs m 19,317 bytes +1 sp undo

26 May 2021

• curprev 23:3323:33, 26 May 2021 109.81.214.106 talk 19,316 bytes −136 →Notation: rm confusing undo

8 May 2021

• curprev 06:1206:12, 8 May 2021 Carlotm talk contribs 19,452 bytes +57 ref to 'Further reading' | {{reflist|refs}} | from parenthetical referencing (deprecated) to short footnote | -{{Use parenthetical referencing}} | +{{Use shortened footnotes}} undo

23 April 2021

• curprev 11:4911:49, 23 April 2021 2a02:1812:1700:c500:a18e:18cf:cdc4:8c66 talk 19,395 bytes +3 No edit summary undo

16 March 2021

• curprev 00:2000:20, 16 March 2021 Gexuma talk contribs 19,392 bytes +1,094 Reverted 1 edit by 136.52.5.132 (talk): Blanking reverted undo Tags: Twinkle Undo
• curprev 00:1600:16, 16 March 2021 136.52.5.132 talk 18,298 bytes −1,094 →Application to elimination of recursion undo Tags: Reverted section blanking

8 February 2021

• curprev 09:4809:48, 8 February 2021 Citation bot talk contribs 19,392 bytes −23 Alter: url. URLs might have been internationalized/anonymized. Add: s2cid, author pars. 1-1. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Articles with Stanford Encyclopedia of Philosophy links‎ | via #UCB_Category 20/43 undo

23 January 2021

• curprev 17:4117:41, 23 January 2021 Finnusertop talk contribs 19,415 bytes +168 →top: {{Format footnotes|date=January 2021|reason=Parenthetical referencing has been deprecated; convert to shortened footnotes.}} undo

28 December 2020

• curprev 07:3007:30, 28 December 2020 Monkbot talk contribs m 19,247 bytes −141 Task 18 (cosmetic): eval 9 templates: del |url-status= (6×); cvt lang vals (9×); undo Tag: AWB

1 September 2020

• curprev 22:5222:52, 1 September 2020 Vahurzpu talk contribs m 19,388 bytes +45 Tag with referencing style undo Tag: 2017 wikitext editor

21 June 2020

• curprev 00:3000:30, 21 June 2020 OAbot talk contribs m 19,343 bytes +16 Open access bot: hdl added to citation with #oabot. undo

30 May 2020

• curprev 21:3321:33, 30 May 2020 118.67.199.162 talk 19,327 bytes +3 →Application to elimination of recursion undo

11 May 2020

• curprev 18:0218:02, 11 May 2020 DannyS712 bot talk contribs m 19,324 bytes +54 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

7 May 2020

• curprev 06:3606:36, 7 May 2020 Gricharduk talk contribs 19,270 bytes +14 →References: Adding JSTOR link to Jockusch 1989 undo
• curprev 06:3306:33, 7 May 2020 Gricharduk talk contribs 19,256 bytes +6 →References: Changing to {{ndash}} for pages reference undo
• curprev 06:2906:29, 7 May 2020 Citation bot talk contribs 19,250 bytes +31 Alter: pages. Add: jstor, hdl. Formatted dashes. | You can use this bot yourself. Report bugs here. | Activated by Gricharduk | via #UCB_webform undo

6 May 2020

• curprev 14:3514:35, 6 May 2020 Gricharduk talk contribs m 19,219 bytes +1 →Fixed-point free functions: Adding a full stop undo
• curprev 13:4913:49, 6 May 2020 Gricharduk talk contribs 19,218 bytes −1 →Comparison to Rogers's theorem: Correcting page typo in the reference undo
• curprev 13:3013:30, 6 May 2020 Gricharduk talk contribs 19,219 bytes −186 Now changing to use {{harv}} templates to create the citations undo
• curprev 10:4710:47, 6 May 2020 Gricharduk talk contribs m 19,405 bytes 0 →References: Moved date for consistency undo
• curprev 10:2110:21, 6 May 2020 Gricharduk talk contribs 19,405 bytes −12 →References: Making ISBNs consistent undo
• curprev 10:0710:07, 6 May 2020 Gricharduk talk contribs 19,417 bytes +31 Linked Introduction to Mathematics to its reference undo
• curprev 10:0010:00, 6 May 2020 Gricharduk talk contribs 19,386 bytes +201 Consitency: Linked inline citations to their references undo
• curprev 09:4109:41, 6 May 2020 Gricharduk talk contribs 19,185 bytes +1,595 →References: Consistency: Now using templates in the references undo Tag: Visual edit: Switched
• curprev 07:2507:25, 6 May 2020 Gricharduk talk contribs 17,590 bytes −24 Changed pages hyphenation to match the article style undo
• curprev 07:2007:20, 6 May 2020 Gricharduk talk contribs m 17,614 bytes 0 →Generalized theorem: Changed the citation style (colon instead of comma) to match the rest of the article undo
• curprev 07:1507:15, 6 May 2020 Gricharduk talk contribs 17,614 bytes +20 →References: Correcting Google Books link to Handbook of Computability Theory undo
• curprev 07:0307:03, 6 May 2020 Gricharduk talk contribs 17,594 bytes +1,034 Provided a citation showing that Kleene's recursion theorem holds for any precomplete numbering undo

17 January 2020

• curprev 20:0820:08, 17 January 2020 Vmanlio talk contribs 16,560 bytes +6 →Fixed-point free functions: Added small detail undo Tags: Mobile edit Mobile web edit

15 July 2018

• curprev 08:2508:25, 15 July 2018 Beland talk contribs 16,554 bytes −64 markup improvement undo

10 May 2018

• curprev 16:3516:35, 10 May 2018 PrimeBOT talk contribs m 16,618 bytes +4 →top: Task 24 - replace template usage following a TFD undo

9 January 2018

• curprev 22:4122:41, 9 January 2018 Paradoctor talk contribs m 16,614 bytes −4 →External links: fix template syntax undo