Halting problem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

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 15:5215:52, 24 October 2024 TTWIDEE talk contribs 54,350 bytes −1 →Origin of the halting problem: Fixed spacing undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 23:1423:14, 11 August 2024 Stevei talk contribs m 54,351 bytes +114 →External links: Added link to website dedicated to understanding the Halting Problem. undo

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

24 October 2024

11 August 2024

10 July 2024

9 July 2024

31 May 2024

29 May 2024

2 April 2024

29 February 2024

12 November 2023

13 October 2023

24 September 2023

20 September 2023

5 September 2023

14 August 2023

19 June 2023

24 May 2023

11 May 2023

10 May 2023

22 April 2023

21 April 2023

2 March 2023

19 January 2023

24 November 2022

22 November 2022

8 November 2022

6 November 2022

5 November 2022

28 October 2022

6 August 2022

6 July 2022

13 June 2022