Halting problem: Revision history

10 July 2024

• curprev 20:2920:29, 10 July 2024‎ Jochen Burghardt talk contribs‎ 54,237 bytes −50‎ Undid revision 1233424351 by Stevei (talk): wikilinks only, in this section undo Tag: Undo

9 July 2024

• curprev 00:2400:24, 9 July 2024‎ Stevei talk contribs‎ m 54,287 bytes +50‎ →‎See also: Add link to site dedicated to Halting Problem with links to video explanations. undo Tag: Reverted

31 May 2024

• curprev 22:2522:25, 31 May 2024‎ Mathnerd314159 talk contribs‎ 54,237 bytes +453‎ →‎Approximations: add plain English explanations undo
• curprev 21:5721:57, 31 May 2024‎ Mathnerd314159 talk contribs‎ 53,784 bytes +192‎ revise again - it is really the problem that is significant, the proof is incidental. and the proof was unclear undo
• curprev 15:5415:54, 31 May 2024‎ ClassA42 talk contribs‎ 53,592 bytes +25‎ Corrected the incorrect claim about the impact of the proof on "practical computing". Please see the "Talk" page at " Misleading sentence?!". undo

29 May 2024

• curprev 15:0815:08, 29 May 2024‎ Jochen Burghardt talk contribs‎ 53,567 bytes −3‎ Undid revision 1226229093 by 218.248.13.196 (talk) undo Tag: Undo
• curprev 09:5409:54, 29 May 2024‎ 218.248.13.196 talk‎ 53,570 bytes +3‎ No edit summary undo Tag: Reverted

2 April 2024

• curprev 17:1117:11, 2 April 2024‎ BeepThisIsNotaTest talk contribs‎ m 53,567 bytes −1‎ →‎Timeline: Fixed grammar undo Tags: Mobile edit Mobile app edit Android app edit

29 February 2024

• curprev 08:0608:06, 29 February 2024‎ InternetArchiveBot talk contribs‎ 53,568 bytes +160‎ Rescuing 0 sources and tagging 2 as dead.) #IABot (v2.0.9.5) (Eastmain - 17706 undo

12 November 2023

• curprev 19:5619:56, 12 November 2023‎ ElliAWB talk contribs‎ m 53,408 bytes +15‎ Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

13 October 2023

• curprev 07:2207:22, 13 October 2023‎ Pablion talk contribs‎ m 53,393 bytes 0‎ →‎Approximations: Use a consistent spelling of the plural form of "index" in this article. undo Tag: Visual edit

24 September 2023

• curprev 14:5214:52, 24 September 2023‎ Citation bot talk contribs‎ 53,393 bytes +5‎ Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 3658/3840 undo

20 September 2023

• curprev 18:3718:37, 20 September 2023‎ Jochen Burghardt talk contribs‎ 53,388 bytes −48‎ Undid revision 1176207947 by FaceyMcFaceFace (talk): per WP:BRD undo Tag: Undo
• curprev 06:2706:27, 20 September 2023‎ FaceyMcFaceFace talk contribs‎ 53,436 bytes +48‎ link undo Tag: Reverted

5 September 2023

• curprev 17:0617:06, 5 September 2023‎ Jochen Burghardt talk contribs‎ 53,388 bytes −48‎ Undid revision 1173977592 by Xpan369 (talk): target section is about a different notion of "pathological program" undo Tag: Undo
• curprev 14:3714:37, 5 September 2023‎ Xpan369 talk contribs‎ 53,436 bytes +48‎ Added a link citation to provide better context and definition to what a pathological program is. undo Tags: Reverted Visual edit

14 August 2023

• curprev 06:4906:49, 14 August 2023‎ OAbot talk contribs‎ m 53,388 bytes +35‎ Open access bot: hdl updated in citation with #oabot. undo

19 June 2023

• curprev 19:2919:29, 19 June 2023‎ Citation bot talk contribs‎ 53,353 bytes −173‎ Alter: url. URLs might have been anonymized. Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 562/3850 undo

24 May 2023

• curprev 17:4817:48, 24 May 2023‎ Kosayoda.wiki talk contribs‎ 53,526 bytes +27‎ Fix incorrect order of reduction. undo

11 May 2023

• curprev 09:4009:40, 11 May 2023‎ Jochen Burghardt talk contribs‎ 53,499 bytes −4‎ →‎Background: distinguish "the program has not halted yet" vs "the program will never halt" undo

10 May 2023

• curprev 15:5515:55, 10 May 2023‎ Now3d talk contribs‎ m 53,503 bytes +5‎ →‎Background undo

22 April 2023

• curprev 22:3922:39, 22 April 2023‎ Mathnerd314159 talk contribs‎ m 53,498 bytes +17‎ →‎Origin of the halting problem: disambig undo
• curprev 22:3622:36, 22 April 2023‎ Mathnerd314159 talk contribs‎ 53,481 bytes +3,412‎ revise origins of halting problem undo Tag: Disambiguation links added

21 April 2023

• curprev 04:1304:13, 21 April 2023‎ 2601:243:1980:2810:44e2:8433:7e91:42a5 talk‎ 50,069 bytes +4‎ →‎Background undo

2 March 2023

• curprev 03:3603:36, 2 March 2023‎ Aristotles talk contribs‎ m 50,065 bytes −180‎ delete obstrusive evidence to the etymology, as I judge it as not relevant to the general interest. Those specifically interested in the etymology can still find this info on the "Background" section. undo

19 January 2023

• curprev 23:5623:56, 19 January 2023‎ 147.192.115.227 talk‎ 50,245 bytes +1‎ →‎Programming consequences{{anchor|Avoiding the halting problem}} undo

24 November 2022

• curprev 16:0716:07, 24 November 2022‎ Jochen Burghardt talk contribs‎ 50,244 bytes +10‎ Undid revision 1123589430 by Flooorian (talk): suggest to keep "perfectly", meaning e.g. "for all inputs" (not just for some), and/or "with an exact answer" (not just a probability answer) undo Tag: Undo
• curprev 15:1315:13, 24 November 2022‎ Flooorian talk contribs‎ 50,234 bytes −10‎ Why precise perfectly ? What mean perfect in that context ? I find it irrelevant. undo Tag: Reverted

22 November 2022

• curprev 12:0012:00, 22 November 2022‎ Citation bot talk contribs‎ 50,244 bytes +67‎ Alter: url. URLs might have been anonymized. Add: isbn, series, s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 255/3850 undo

8 November 2022

• curprev 19:2019:20, 8 November 2022‎ Mathnerd314159 talk contribs‎ 50,177 bytes +19‎ →‎Approximations: proofreading undo

6 November 2022

• curprev 20:5420:54, 6 November 2022‎ Mathnerd314159 talk contribs‎ 50,158 bytes +53‎ →‎Approximations: more specific kolmogorov link undo
• curprev 19:5719:57, 6 November 2022‎ Mathnerd314159 talk contribs‎ 50,105 bytes −6‎ →‎Approximations: Double there undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 19:2619:26, 6 November 2022‎ Mathnerd314159 talk contribs‎ 50,111 bytes −62‎ →‎Approximations: change earlier property to limit notation undo
• curprev 19:1419:14, 6 November 2022‎ Mathnerd314159 talk contribs‎ 50,173 bytes −84‎ →‎Approximations: use inf for bullet 3 too undo
• curprev 19:0419:04, 6 November 2022‎ Mathnerd314159 talk contribs‎ 50,257 bytes +2,011‎ →‎Approximations: another paper, the lim inf / lim sup notation seems clearer undo

5 November 2022

• curprev 22:2622:26, 5 November 2022‎ Mathnerd314159 talk contribs‎ 48,246 bytes +4,624‎ →‎Computability theory: new section on approximation. the bounds were carefully translated, the stuff at the end is my attempt at explanation based on examples 20/24 undo
• curprev 02:3002:30, 5 November 2022‎ Mikhail Ryazanov talk contribs‎ m 43,622 bytes +2‎ →‎See also: punct. undo
• curprev 02:2902:29, 5 November 2022‎ Mikhail Ryazanov talk contribs‎ m 43,620 bytes +5‎ →‎Oracle machines: style undo
• curprev 02:2502:25, 5 November 2022‎ Mikhail Ryazanov talk contribs‎ m 43,615 bytes +5‎ →‎top: punct., style undo

28 October 2022

• curprev 23:4923:49, 28 October 2022‎ Mathnerd314159 talk contribs‎ 43,610 bytes 0‎ slightly better. It's a bad sentence. undo
• curprev 05:5905:59, 28 October 2022‎ 2600:6c55:7006:100:ac65:287a:49a9:e3d6 talk‎ 43,610 bytes +3‎ →‎Halting on all inputs: Missing verb: pretty sure this is what was meant. undo
• curprev 05:5805:58, 28 October 2022‎ 2600:6c55:7006:100:ac65:287a:49a9:e3d6 talk‎ 43,607 bytes −1‎ →‎Halting on all inputs: Remove spurious comma undo

6 August 2022

• curprev 22:4922:49, 6 August 2022‎ Mgkrupa talk contribs‎ 43,608 bytes +21‎ Added {{Mathematical logic}} undo

6 July 2022

• curprev 11:5911:59, 6 July 2022‎ Zjakobovski talk contribs‎ 43,587 bytes +11‎ →‎Background undo

13 June 2022

• curprev 09:3509:35, 13 June 2022‎ Mauls talk contribs‎ 43,576 bytes +11‎ →‎Programming consequences{{anchor|Avoiding the halting problem}} undo
• curprev 09:2209:22, 13 June 2022‎ Mauls talk contribs‎ 43,565 bytes +23‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 09:1909:19, 13 June 2022‎ Mauls talk contribs‎ 43,542 bytes +62‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 09:1409:14, 13 June 2022‎ Mauls talk contribs‎ 43,480 bytes +8‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

28 March 2022

• curprev 19:0619:06, 28 March 2022‎ Willondon talk contribs‎ 43,472 bytes −1‎ →‎History: copyedit, provide Wikilinks undo
• curprev 03:2103:21, 28 March 2022‎ Kencf0618 talk contribs‎ 43,473 bytes −1‎ →‎History: Sentence fu; encyclopedic tone. undo