Rice's theorem: Revision history

28 October 2024

• curprev 20:4020:40, 28 October 2024 Zvavybir talk contribs 12,154 bytes +182 Explained that it is possible to not have false positives and false negatives at the same time undo Tag: Visual edit

24 March 2024

• curprev 02:5102:51, 24 March 2024 Beland talk contribs m 11,972 bytes +60 MOS:BBB - convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

10 March 2024

• curprev 12:5712:57, 10 March 2024 Jean Abou Samra talk contribs m 11,912 bytes −25 Remove now empty section undo
• curprev 12:3412:34, 10 March 2024 Jean Abou Samra talk contribs 11,937 bytes −5,019 Moved Kreisel-Lacombe-Shoenfield-Tseitin theorem to "Rice-Shapiro theorem" page since it's closer to Rice-Shapiro undo
• curprev 02:4102:41, 10 March 2024 Jean Abou Samra talk contribs 16,956 bytes −111 Remove dubious or redundant references undo
• curprev 02:3502:35, 10 March 2024 Jean Abou Samra talk contribs m 17,067 bytes +21 Fix φ letter undo
• curprev 02:1202:12, 10 March 2024 Jean Abou Samra talk contribs m 17,046 bytes +5 Avoid contractions undo
• curprev 02:0302:03, 10 March 2024 Jean Abou Samra talk contribs 17,041 bytes −2,030 Remove redundant, vague and questionable section undo
• curprev 01:4901:49, 10 March 2024 Jean Abou Samra talk contribs 19,071 bytes −964 Simplify proof, don't recall details of Kleene's recursion thm (they're in the dedicated article) undo
• curprev 01:3001:30, 10 March 2024 Jean Abou Samra talk contribs m 20,035 bytes −1 Formatting undo
• curprev 01:0901:09, 10 March 2024 Jean Abou Samra talk contribs 20,036 bytes −995 Remove duplicated statement of the theorem, improve examples undo
• curprev 01:0301:03, 10 March 2024 Jean Abou Samra talk contribs 21,031 bytes −249 Introduction: give more motivations and pointers, skip dubious examples undo
• curprev 00:1100:11, 10 March 2024 Jean Abou Samra talk contribs m 21,280 bytes +1 Typo undo
• curprev 00:1000:10, 10 March 2024 Jean Abou Samra talk contribs m 21,279 bytes −2 Fix markup (oops) undo
• curprev 00:1000:10, 10 March 2024 Jean Abou Samra talk contribs 21,281 bytes −704 Simplify the formal statement, don't introduce unnecessary notations undo

9 March 2024

• curprev 23:5223:52, 9 March 2024 Jean Abou Samra talk contribs 21,985 bytes −803 Remove redundancies undo
• curprev 23:4523:45, 9 March 2024 Jean Abou Samra talk contribs m 22,788 bytes −1 Fix link undo
• curprev 23:4523:45, 9 March 2024 Jean Abou Samra talk contribs m 22,789 bytes +52 Statement was subtly wrong (being partial computable is non-trivial on the class of all partial functions) undo Tag: Visual edit: Switched

4 January 2024

• curprev 18:0018:00, 4 January 2024 5.102.10.70 talk 22,737 bytes +10 →Rice's theorem, index sets and saturated sets undo Tag: Visual edit
• curprev 17:5917:59, 4 January 2024 5.102.10.70 talk 22,727 bytes +1,687 →Rice's theorem and index sets: Saturated sets considerations undo Tag: Visual edit

5 December 2023

• curprev 20:2520:25, 5 December 2023 5.102.10.70 talk 21,040 bytes +611 No edit summary undo Tag: Visual edit

4 October 2023

• curprev 13:5413:54, 4 October 2023 128.237.82.18 talk 20,429 bytes +24 →Formal proof: Clarify algorithm is F_b. undo

2 October 2023

• curprev 22:5522:55, 2 October 2023 128.237.82.24 talk 20,405 bytes +28 →Formal proof: Clarify negation is an algorithm. undo
• curprev 22:5522:55, 2 October 2023 128.237.82.24 talk 20,377 bytes +30 →Formal proof: Clarify negation of P is \bar{P}. undo

14 September 2023

• curprev 04:0304:03, 14 September 2023 C7XWiki talk contribs 20,347 bytes −40 Partial computable functions brought up shortly later undo

11 August 2023

• curprev 01:1801:18, 11 August 2023 Mrfoogles talk contribs m 20,387 bytes −33 Remove incorrect link undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

5 June 2023

• curprev 11:4011:40, 5 June 2023 WolfRAMM talk contribs m 20,420 bytes −33 Changing short description from "All non-trivial, semantic properties of programs are undecidable" to "Theorem in computability theory" undo Tag: Shortdesc helper

8 May 2023

• curprev 16:4416:44, 8 May 2023 35.139.154.158 talk 20,453 bytes −77 WP:ELNO undo

13 December 2022

• curprev 02:4902:49, 13 December 2022 83.252.137.154 talk 20,530 bytes −15 →Introduction: the article doesn't use L(M) anywhere else undo

16 October 2022

• curprev 23:0723:07, 16 October 2022 Nbrader talk contribs m 20,545 bytes −36 →Proof sketch: I found this part of the sentence confusing and unnecessary as the arbitrary nature of a and i in the argument is clear already. undo

15 October 2022

• curprev 09:1709:17, 15 October 2022 ಮಲ್ನಾಡಾಚ್ ಕೊಂಕ್ಣೊ talk contribs m 20,581 bytes +4 Fixed Lint errors undo

19 March 2022

• curprev 06:2606:26, 19 March 2022 Citation bot talk contribs 20,577 bytes +57 Add: s2cid, isbn, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 171/409 undo

11 January 2022

• curprev 13:0913:09, 11 January 2022 Effervecent talk contribs m 20,520 bytes +20 Link dnf of 'unary' undo

7 January 2022

• curprev 20:2620:26, 7 January 2022 Mauls talk contribs 20,500 bytes −79 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 20:2120:21, 7 January 2022 Mauls talk contribs 20,579 bytes +7 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

30 September 2021

• curprev 06:2006:20, 30 September 2021 2601:445:4380:7dd0::533e talk 20,572 bytes −1 No edit summary undo

29 August 2021

• curprev 04:5804:58, 29 August 2021 FG0711 talk contribs 20,573 bytes +26 →Proof by Kleene's recursion theorem undo Tags: Mobile edit Mobile web edit

15 August 2021

• curprev 15:5515:55, 15 August 2021 Denny talk contribs 20,547 bytes +3 →Introduction: Typo undo Tags: Mobile edit Mobile web edit Advanced mobile edit

9 July 2021

• curprev 09:3109:31, 9 July 2021 2600:6c5a:567f:8baa::d74 talk 20,544 bytes −2 →Proof by Kleene's recursion theorem undo

8 June 2021

• curprev 14:4614:46, 8 June 2021 212.89.239.228 talk 20,546 bytes −111 →Introduction: rephrase to more intuitive formulation; remove some borderline-incorrect statements (whether a TM accepts a word is by definition decidable, since an accepting run is finite) undo

14 April 2021

• curprev 07:1107:11, 14 April 2021 Dokidaki-ylc talk contribs 20,657 bytes +405 Change "computable" to "partial computable" to be more precise (computable alone refers to total computable, and is a proper subset of partial computable functions); add more example sets of partial computable functions that are not recursive/computable/decidable; an index set is computable/decidable/recursive iff its membership/characteristic/indicator function is computable undo Tag: Visual edit

23 March 2021

• curprev 08:3608:36, 23 March 2021 Tea2min talk contribs 20,252 bytes +3 →top: Change target of piped link with link text "undecidable" from Decision problem to more specific Undecidable problem. undo

22 March 2021

• curprev 16:0816:08, 22 March 2021 Chrisahn talk contribs 20,249 bytes +30 Undid revision 1007804237 by 14.203.175.209 (talk); the edit made the sentence less clear, maybe even ambiguous undo Tag: Undo

13 March 2021

• curprev 14:0114:01, 13 March 2021 JayBeeEll talk contribs 20,219 bytes −245 Undid revision 998495963 by RunningToMars (talk) - promotional / spam -- see Wikipedia:Sockpuppet_investigations/Badtoothfairy undo Tag: Undo

20 February 2021

• curprev 00:5400:54, 20 February 2021 14.203.175.209 talk 20,464 bytes −30 Last sentence of the first paragraph describing a non-trivial property is slightly more succinct now and easier to understand. undo Tags: Reverted Visual edit

9 February 2021

• curprev 10:2510:25, 9 February 2021 Rodw talk contribs m 20,494 bytes −17 Disambiguating links to Cooperative game (link changed to Cooperative game theory) using DisamAssist. undo

5 January 2021

• curprev 17:0617:06, 5 January 2021 RunningToMars talk contribs m 20,511 bytes +245 Added a reference discussing examples of undecidability undo Tag: Reverted

23 December 2020

• curprev 20:2220:22, 23 December 2020 Iridescent 2 talk contribs m 20,266 bytes +1 →Proof sketch: Cleanup and typo fixing, typo(s) fixed: i.e → i.e. undo Tag: AWB

14 December 2020

• curprev 19:0219:02, 14 December 2020 Monkbot talk contribs m 20,265 bytes −7 Task 18 (cosmetic): eval 7 templates: del empty params (1×); undo Tag: AWB

25 July 2020

• curprev 22:4222:42, 25 July 2020 Omnipaedista talk contribs 20,272 bytes −8 no reason for boldface undo