Entscheidungsproblem: 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 06:5706:57, 20 August 2024‎ RodRabelo7 talk contribs‎ m 19,002 bytes 0‎ replacing {{IPA-de| → {{IPA|de| (deprecated template) undo

curprev 20:3720:37, 17 August 2024‎ 172.59.177.94 talk‎ 19,002 bytes 0‎ →‎Aristotelean and relational undo

curprev 10:0410:04, 1 August 2024‎ InedibleHulk talk contribs‎ m 19,002 bytes −12‎ Yes. undo
curprev 10:0210:02, 1 August 2024‎ InedibleHulk talk contribs‎ m 19,014 bytes −13‎ Relax? undo
curprev 10:0110:01, 1 August 2024‎ InedibleHulk talk contribs‎ m 19,027 bytes −10‎ →‎Generalizations: Useless however. undo
curprev 10:0010:00, 1 August 2024‎ InedibleHulk talk contribs‎ m 19,037 bytes −15‎ →‎History of the problem: Yeah, we're talking about it. undo

curprev 16:5816:58, 24 February 2024‎ Ancheta Wis talk contribs‎ 19,052 bytes +3‎ →‎References: copyedit: 'the problem of a set' → 'the problem, that a set' undo

curprev 03:4203:42, 28 January 2024‎ WikiCleanerBot talk contribs‎ m 19,049 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 22:4022:40, 26 January 2024‎ Jochen Burghardt talk contribs‎ 19,049 bytes +36‎ →‎Fragments: avoid Fn as noun-phrase; WP:PUNCTREF; MOS:MATH#NOWE; use "if" in def.s undo
curprev 02:5902:59, 26 January 2024‎ Headbomb talk contribs‎ 19,013 bytes −1‎ ce undo
curprev 02:5802:58, 26 January 2024‎ Citation bot talk contribs‎ 19,014 bytes +43‎ Alter: date, edition. Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Category:CS1 errors: invisible characters | #UCB_Category 1/2 undo
curprev 00:5500:55, 26 January 2024‎ Cosmia Nebula talk contribs‎ 18,971 bytes +6,904‎ →‎top: fragments undo Tag: Visual edit

curprev 21:3921:39, 12 August 2023‎ 2603:6080:a301:d2ee:c5a7:6c63:3bef:65b4 talk‎ 11,015 bytes −2‎ →‎Negative answer: Convert 'the' to 'a' for non-exclusivity in the set of answers to the Entscheidungsproblem undo
curprev 02:3702:37, 12 August 2023‎ Mrfoogles talk contribs‎ m 11,017 bytes −23‎ Unnecesary link undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 20:3420:34, 11 May 2023‎ Primergrey talk contribs‎ m 11,040 bytes 0‎ No edit summary undo

curprev 23:0823:08, 14 March 2023‎ Trappist the monk talk contribs‎ m 11,040 bytes −7‎ lang fix; undo

curprev 22:4322:43, 6 March 2023‎ Trappist the monk talk contribs‎ m 11,047 bytes −4‎ →‎top: update Template:Language with name/for; undo Tag: AWB

curprev 01:0101:01, 17 January 2023‎ Citation bot talk contribs‎ 11,051 bytes +20‎ Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Smasongarrison | Category:Undecidable problems | #UCB_Category 7/20 undo

curprev 22:5322:53, 21 October 2022‎ Dummelaksen talk contribs‎ 11,031 bytes −38‎ removed Category:German words and phrases using HotCat article is not about the word undo

curprev 11:3211:32, 15 September 2022‎ Finnusertop talk contribs‎ m 11,069 bytes −14‎ →‎top: MOS undo

curprev 10:0010:00, 13 July 2022‎ Jochen Burghardt talk contribs‎ 11,083 bytes −22‎ Undid revision 1097824594 by Vctrbarbieri (talk): this should be understandable without the link undo Tag: Undo

curprev 20:0520:05, 12 July 2022‎ Vctrbarbieri talk contribs‎ m 11,105 bytes +22‎ No edit summary undo Tags: Reverted Visual edit

curprev 17:2717:27, 8 June 2022‎ David Eppstein talk contribs‎ 11,083 bytes +4‎ Undid revision 1092181497 by David Eppstein (talk) sorry, mouse slip undo Tag: Undo
curprev 17:2717:27, 8 June 2022‎ David Eppstein talk contribs‎ m 11,079 bytes −4‎ Reverted edits by Hairy Dude (talk) to last version by GreenC bot undo Tags: Rollback Reverted
curprev 16:0716:07, 8 June 2022‎ Hairy Dude talk contribs‎ 11,083 bytes +13‎ →‎Negative answer: fix bizarre capitalisation; don't put quotations in italics; make definitions sightly more precise, including correcting an error: he reduced the Entscheidungsproblem to the existence of a halting decider, not vice versa undo Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit
curprev 15:5915:59, 8 June 2022‎ Hairy Dude talk contribs‎ 11,070 bytes −9‎ →‎History of the problem: MOS:LQ; rm redundant italics undo Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit

curprev 20:1520:15, 12 May 2022‎ GreenC bot talk contribs‎ 11,079 bytes +43‎ Rescued 2 archive links; reformat 2 links. Wayback Medic 2.5 undo

curprev 03:2003:20, 9 March 2022‎ JJMC89 bot III talk contribs‎ m 11,036 bytes +8‎ Moving Category:Gottfried Leibniz to Category:Gottfried Wilhelm Leibniz per Wikipedia:Categories for discussion/Log/2022 January 7#Category:Gottfried Leibniz undo

curprev 15:5315:53, 5 March 2022‎ Skyerise talk contribs‎ 11,028 bytes 0‎ →‎See also undo

curprev 21:5421:54, 27 February 2022‎ Cnwilliams talk contribs‎ m 11,028 bytes +29‎ Disambiguated: Martin Davis → Martin Davis (mathematician) undo

curprev 08:0608:06, 20 February 2022‎ 2601:404:d480:7f0::afca talk‎ 10,999 bytes 0‎ →‎Negative answer: "Latter" replaced with "Former" -- all indications this was an error? undo

curprev 00:1100:11, 30 December 2021‎ InternetArchiveBot talk contribs‎ 10,999 bytes +76‎ Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.8.5 undo

curprev 15:5915:59, 12 November 2021‎ 158.135.190.132 talk‎ 10,923 bytes +108‎ →‎Negative answer: Corrected the attribution of the MRDP theorem to not only credit one person in it. undo Tag: Disambiguation links added

curprev 12:3612:36, 11 August 2021‎ 82.134.28.130 talk‎ 10,815 bytes 0‎ fix typ undo

curprev 09:2209:22, 10 August 2021‎ Dawnseeker2000 talk contribs‎ m 10,815 bytes −5‎ date format audit, minor formatting undo Tag: AWB

curprev 19:2819:28, 1 August 2021‎ LaundryPizza03 talk contribs‎ 10,820 bytes +38‎ added Category:German words and phrases using HotCat undo

curprev 18:4518:45, 7 May 2021‎ GreenC bot talk contribs‎ 10,782 bytes +59‎ Reformat 1 archive link. Wayback Medic 2.5 undo

curprev 20:0520:05, 1 April 2021‎ Omnipaedista talk contribs‎ 10,723 bytes +26‎ boldface per WP:R#PLA undo

curprev 06:1606:16, 19 December 2020‎ DavisSta talk contribs‎ m 10,697 bytes −136‎ →‎Completeness theorem: link to archived version at Wayback Machine deleted, because live current version is available undo
curprev 06:0006:00, 19 December 2020‎ DavisSta talk contribs‎ m 10,833 bytes +4‎ →‎Completeness theorem: updated dead link undo

curprev 19:0119:01, 13 October 2020‎ Vkuncak talk contribs‎ 10,829 bytes +27‎ →‎See also: We should consider merging with Decidability (logic) article undo

curprev 03:1903:19, 29 July 2020‎ 192.30.227.245 talk‎ 10,802 bytes −1‎ →‎History of the problem undo

curprev 10:1310:13, 9 June 2020‎ Materialscientist talk contribs‎ m 10,803 bytes −1‎ Reverted edits by 49.195.78.200 (talk) (HG) (3.4.10) undo Tags: Huggle Rollback
curprev 10:1210:12, 9 June 2020‎ 49.195.78.200 talk‎ 10,804 bytes +1‎ Fixed typo undo Tags: Mobile edit Mobile web edit

20 August 2024

17 August 2024

1 August 2024

24 February 2024

28 January 2024

26 January 2024

18 January 2024

12 August 2023

11 May 2023

14 March 2023

6 March 2023

17 January 2023

21 October 2022

15 September 2022

13 July 2022

12 July 2022

8 June 2022

12 May 2022

9 March 2022

5 March 2022

27 February 2022

20 February 2022

30 December 2021

12 November 2021

11 August 2021

10 August 2021

1 August 2021

7 May 2021

1 April 2021

19 December 2020

13 October 2020

29 July 2020

9 June 2020