Computable function: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

Find addition/removal ^(Alternate)
Find edits by user ^(Alternate)
Page statistics
Pageviews
Fix dead links

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 17:0517:05, 5 June 2024‎ Jochen Burghardt talk contribs‎ 24,322 bytes +121‎ →‎Relation to recursively defined functions: fix typo; trying to fix imprecise sentences about the use of well-orderings undo

curprev 23:0023:00, 2 June 2024‎ David Eppstein talk contribs‎ 24,201 bytes +270‎ →‎Relation to recursively defined functions: cite Ackermann non-prim-rec undo
curprev 22:5822:58, 2 June 2024‎ David Eppstein talk contribs‎ 23,931 bytes −634‎ →‎Relation to recursively defined functions: rewrite to avoid vague "some computable functions have no recursive definition" waffle, obviously false if one allows a recursive definition of the form "return the value obtained from running the Turing machine state obtained by applying this formula to make one more step in the current TM state" undo

curprev 04:4404:44, 21 May 2024‎ Jochen Burghardt talk contribs‎ 24,565 bytes +21‎ Undid revision 1224829018 by Nuretok (talk): the simpler form might be misread as "any currently known algorithms" undo Tag: Undo

curprev 18:2518:25, 20 May 2024‎ Nuretok talk contribs‎ 24,544 bytes −21‎ Simplification undo Tags: Reverted Visual edit

curprev 08:2408:24, 1 May 2024‎ 93 talk contribs‎ m 24,565 bytes −2‎ →‎Formal languages: typo undo

curprev 11:0211:02, 19 February 2024‎ D.Lazard talk contribs‎ 24,567 bytes −35‎ →‎top: moving up the paragraph on Church Turing functions, making it more accurate, and rm repetition of the first paragraph undo
curprev 10:3410:34, 19 February 2024‎ Vicgraus talk contribs‎ m 24,602 bytes +6‎ No edit summary undo
curprev 09:4609:46, 19 February 2024‎ Vicgraus talk contribs‎ m 24,596 bytes +139‎ No edit summary undo

curprev 15:2015:20, 8 February 2024‎ D.Lazard talk contribs‎ 24,457 bytes +3‎ Reverted 1 edit by Qntmnan (talk): The article give several prcise definitions that have been proved equivalent undo Tags: Twinkle Undo
curprev 12:5312:53, 8 February 2024‎ Qntmnan talk contribs‎ 24,454 bytes −3‎ removed the phrase "precise definition," since computable function is an informal notion. undo Tag: Reverted

curprev 22:5922:59, 19 May 2023‎ Doctormatt talk contribs‎ 24,457 bytes −20‎ MOS:NOTE undo

curprev 05:5405:54, 19 November 2022‎ WikiCleanerBot talk contribs‎ m 24,477 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 02:1602:16, 10 November 2022‎ C7XWiki talk contribs‎ 24,477 bytes +232‎ Historical info on name split →‎Definition undo

curprev 22:4422:44, 14 October 2022‎ C7XWiki talk contribs‎ 24,245 bytes +267‎ →‎Definition: Name distinction + Oxford comma undo Tags: Mobile edit Mobile web edit

curprev 15:2915:29, 15 May 2022‎ Jochen Burghardt talk contribs‎ 23,978 bytes −7‎ Nearly undid revision 1087859226 by Spburstein506 (talk): suggest to use just the ASCII "*" for product, rather than (defined or undefined) HTML escape codes undo

curprev 22:4822:48, 14 May 2022‎ Spburstein506 talk contribs‎ m 23,985 bytes 0‎ lowast->lowest - Fix a typo in one click undo

curprev 07:2407:24, 7 May 2022‎ 176.213.208.54 talk‎ 23,985 bytes −2‎ →‎Church–Turing thesis undo Tags: Mobile edit Mobile web edit

curprev 12:2712:27, 16 December 2021‎ Jochen Burghardt talk contribs‎ 23,987 bytes +7‎ →‎Characteristics of computable functions: keep the former "and"; split source into lines undo
curprev 05:1205:12, 16 December 2021‎ Cedar101 talk contribs‎ m 23,980 bytes +19‎ →‎Examples: &lowast; {{Pi}} undo
curprev 05:0805:08, 16 December 2021‎ Cedar101 talk contribs‎ m 23,961 bytes +33‎ →‎Characteristics of computable functions: fix math italics, {{ordered list}} undo

curprev 12:4512:45, 21 August 2021‎ François Robere talk contribs‎ m 23,928 bytes +1‎ →‎Definition undo

curprev 08:2608:26, 21 April 2021‎ D.Lazard talk contribs‎ 23,927 bytes −37‎ →‎top: "Recursive function" is not a common name for a computable function. "General recursive function", AKA mu-recursive function is a model of computation for computable functions undo
curprev 04:2304:23, 21 April 2021‎ Jordan Mitchell Barrett talk contribs‎ m 23,964 bytes +42‎ Added synonym "recursive" undo Tag: Visual edit

curprev 08:0608:06, 14 April 2021‎ Tea2min talk contribs‎ 23,922 bytes −42‎ →‎Definition: Remove "over-bolding". undo

curprev 21:0021:00, 17 October 2020‎ 2003:c8:f24:a200:c4c4:82f9:330b:be3 talk‎ 23,964 bytes +4‎ fix grammar undo

curprev 09:0309:03, 27 August 2020‎ Jochen Burghardt talk contribs‎ 23,960 bytes +1‎ →‎Examples: an equation cannot be computed; keep prime factor example in modified form undo

curprev 12:1312:13, 22 August 2020‎ Prosfilaes talk contribs‎ 23,959 bytes −66‎ →‎Examples: as is being defined here, computable functions can't return lists. the largest prime factor is computable undo

curprev 05:4405:44, 28 April 2020‎ Tea2min talk contribs‎ m 24,025 bytes 0‎ Skip redirect from Domain (mathematics) to Domain of a function. undo

curprev 21:2021:20, 4 April 2020‎ Trovatore talk contribs‎ 24,025 bytes −9‎ I think "computed by a program" is enough; if it's computed, it's presumably by a computer senso largo (such a computer might be human; that was apparently Turing's original intent) undo

curprev 12:1412:14, 3 April 2020‎ Jochen Burghardt talk contribs‎ 24,034 bytes +18‎ →‎top: suggest more concrete short description; no idea how to avoid repetition of "compute..." undo
curprev 09:4009:40, 3 April 2020‎ The Eloquent Peasant talk contribs‎ 24,016 bytes +69‎ Adding short description: "Basic objects of study in computability theory" (Shortdesc helper) undo

curprev 23:1523:15, 25 March 2020‎ Wbm1058 talk contribs‎ 23,947 bytes −118‎ removing the hatnote; Total recursive function was retargeted undo

curprev 14:5014:50, 10 October 2019‎ Cerotidinon talk contribs‎ 24,065 bytes +11‎ Undid revision 920406069 by Jochen Burghardt (talk) Singular without an article is wrong there, changed to plural. undo Tag: Undo

curprev 15:5715:57, 9 October 2019‎ Jochen Burghardt talk contribs‎ 24,054 bytes −3‎ Undid revision 920404511 by Cerotidinon (talk): as far as I know, "notion of" is used without article; feel free to revert me if you know better (I'm not a native English speaker) undo Tag: Undo
curprev 15:4515:45, 9 October 2019‎ Cerotidinon talk contribs‎ m 24,057 bytes +3‎ No edit summary undo

curprev 06:3206:32, 9 April 2019‎ Tea2min talk contribs‎ m 24,054 bytes 0‎ →‎Relation to recursively defined functions: Punctuation undo

curprev 17:3517:35, 8 April 2019‎ Jauerback talk contribs‎ 24,054 bytes −24‎ →‎Relation to recursively defined functions: see WP:NOTED, MOS:NOTED, and WP:OPED undo

curprev 10:1810:18, 11 March 2019‎ Jochen Burghardt talk contribs‎ 24,078 bytes +59‎ →‎References: according to the PLMS page, it is 1937 undo

curprev 17:4817:48, 28 February 2019‎ Ngs111 talk contribs‎ 24,019 bytes +14‎ →‎Characteristics of computable functions undo
curprev 17:4517:45, 28 February 2019‎ Ngs111 talk contribs‎ 24,005 bytes 0‎ →‎Characteristics of computable functions undo
curprev 17:4317:43, 28 February 2019‎ Ngs111 talk contribs‎ m 24,005 bytes 0‎ →‎Characteristics of computable functions undo

curprev 22:2122:21, 18 March 2018‎ 128.12.253.44 talk‎ 24,005 bytes +2‎ →‎Provability: Grammar fixed undo

curprev 17:0617:06, 6 February 2018‎ Jayme talk contribs‎ m 24,003 bytes −1‎ →‎Uncomputable functions and unsolvable problems: Typo corrected undo

curprev 18:3118:31, 20 October 2017‎ 82.69.43.178 talk‎ 24,004 bytes +1‎ Update to wording to better align the natural language introduction with the technical idea that computability requires unbounded but still finite space. undo Tag: Visual edit

5 June 2024

2 June 2024

21 May 2024

20 May 2024

1 May 2024

19 February 2024

8 February 2024

19 May 2023

19 November 2022

10 November 2022

14 October 2022

15 May 2022

14 May 2022

7 May 2022

16 December 2021

21 August 2021

23 July 2021

21 April 2021

14 April 2021

17 October 2020

27 August 2020

22 August 2020

28 April 2020

4 April 2020

3 April 2020

25 March 2020

10 October 2019

9 October 2019

9 April 2019

8 April 2019

11 March 2019

28 February 2019

18 March 2018

6 February 2018

20 October 2017