Chaitin's constant: 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 20:3320:33, 27 September 2024 JBW talk contribs 17,481 bytes −33 The cited source doesn't even mention transcendence, let alone state that Ω is transcendent. undo

curprev 16:4316:43, 25 September 2024 2601:184:407f:110:41f0:76ca:3438:4858 talk 17,514 bytes +161 →Background undo

curprev 00:2900:29, 21 September 2024 JesseT77 talk contribs 17,353 bytes +33 No edit summary undo

curprev 00:2000:20, 7 September 2024 JBW talk contribs 17,320 bytes +104 Reverting unexplained reversal of improvement to a reference undo Tag: Undo

curprev 10:4010:40, 3 September 2024 Elva Reichel talk contribs m 17,216 bytes −104 Undid revision 1243773021 by 82.61.79.25 (talk) undo Tags: Undo Reverted
curprev 10:3210:32, 3 September 2024 82.61.79.25 talk 17,320 bytes +104 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 12:2012:20, 24 April 2024 Tromp talk contribs m 17,216 bytes −15 more precise formulation undo
curprev 09:5509:55, 24 April 2024 Tromp talk contribs m 17,231 bytes +42 it's possible to compute a few dozen bits in less expressive languages undo

curprev 12:1512:15, 23 April 2024 Comp.arch talk contribs m 17,189 bytes +27 No edit summary undo Tag: 2017 wikitext editor

curprev 09:5109:51, 22 April 2024 Tromp talk contribs 17,162 bytes −317 The referenced paper is crucially wrong, being based on a non-universal machine. See Talk page. undo
curprev 09:3309:33, 22 April 2024 Tromp talk contribs 17,479 bytes +23 halting probabilities of non-universal languages do not have claimed properties like normal-ness. undo

curprev 07:5307:53, 26 November 2023 Tromp talk contribs 17,456 bytes −429 remove article using wrong notion of universality (charging 1 databit for 7 bits of program length) undo

curprev 21:1521:15, 20 November 2023 JBW talk contribs 17,885 bytes −1 Removing brackets which I don't feel help readability undo

curprev 22:4222:42, 18 September 2023 JayBeeEll talk contribs 17,886 bytes −1,579 Undid revision 1175983897 by FenrisAureus (talk) the IP's explanation of their edit is correct and compelling undo Tag: Undo
curprev 18:1318:13, 18 September 2023 FenrisAureus talk contribs m 19,465 bytes +1,579 Reverted edits by 35.139.154.158 (talk) (AV) undo Tags: AntiVandal Rollback Reverted
curprev 18:1218:12, 18 September 2023 35.139.154.158 talk 17,886 bytes −1,579 Undid revision 1166958806 by 79.185.129.6 (talk) unhelpful/borderline OR undo Tags: Undo Reverted section blanking

curprev 17:3617:36, 30 July 2023 Meno25 talk contribs 19,465 bytes +10 →See also undo

curprev 21:0221:02, 24 July 2023 79.185.129.6 talk 19,455 bytes +1,579 No edit summary undo Tag: Reverted

curprev 13:4513:45, 20 February 2023 Citation bot talk contribs 17,876 bytes −195 Removed proxy/dead URL that duplicated identifier. Removed parameters. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 01:0101:01, 2 December 2022 Rlink2 talk contribs m 18,071 bytes +457 Adding archives WP:LINKROT undo Tag: AWB

curprev 00:0600:06, 16 November 2022 Citation bot talk contribs 17,614 bytes +213 Alter: pages. Add: doi, year, bibcode, s2cid, arxiv, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 4/493 undo

curprev 14:3314:33, 23 October 2022 Vsmith talk contribs m 17,401 bytes −2 Reverted edits by 124.121.32.144 (talk) to last version by Wham2001 undo Tag: Rollback

curprev 05:5205:52, 16 October 2022 124.121.32.144 talk 17,403 bytes +2 →Properties undo Tag: Reverted

curprev 20:2520:25, 25 August 2022 Wham2001 talk contribs 17,401 bytes +290 Fmt refs and fix sfn undo

curprev 17:5517:55, 20 March 2022 D.Lazard talk contribs 17,111 bytes +72 Adding local short description: "Halting probability of a random computer program", overriding Wikidata description "number that represents the probability that a randomly constructed program will halt" (Shortdesc helper) undo
curprev 17:5317:53, 20 March 2022 D.Lazard talk contribs 17,039 bytes +4 →Properties: not sure whether minus is the correct interpretation of this hyphen undo
curprev 16:3716:37, 20 March 2022 Netjeff talk contribs m 17,035 bytes +298 →Algorithmic randomness: Converted bare ref to citation undo Tag: Visual edit: Switched
curprev 16:1716:17, 20 March 2022 Netjeff talk contribs 16,737 bytes +336 Added citation undo Tag: Visual edit

curprev 19:2419:24, 14 January 2022 Yuval Filmus talk contribs 16,401 bytes −465 Undid revision 1065642003 by Trimutius (talk) Every algorithmically random number is normal! See https://en.wikipedia.org/wiki/Algorithmically_random_sequence#Properties_and_examples_of_Martin-L%C3%B6f_random_sequences undo Tag: Undo
curprev 16:0716:07, 14 January 2022 Trimutius talk contribs 16,866 bytes +465 Added references about Chaitin's constants being normal, also properly specified conditions under which they are normal undo Tag: Reverted
curprev 15:1015:10, 14 January 2022 Yuval Filmus talk contribs 16,401 bytes +174 Undid revision 1065629982 by Trimutius (talk): removed claim is correct (see https://cs.stackexchange.com/a/67728/683, https://math.stackexchange.com/a/1311948/1277, https://mathoverflow.net/a/132483/7732) undo Tag: Undo
curprev 14:4014:40, 14 January 2022 Trimutius talk contribs 16,227 bytes −174 None of the citations or references mention it being normal, looks like somebody added it to the page without any proof, removing any references to Chaitin's number being normal undo Tag: Reverted

curprev 10:5610:56, 6 July 2021 Froth talk contribs 16,401 bytes +4 I forgot a word undo
curprev 10:5510:55, 6 July 2021 Froth talk contribs 16,397 bytes +67 the "two notions of program" explanation is strange to me but I'm not confident enough to remove it. instead, I added a bit more clarification independent of it. undo

curprev 18:4818:48, 21 March 2021 Geysirhead talk contribs m 16,330 bytes −36 removed Category:Transcendental numbers using HotCat redundant undo

curprev 09:1009:10, 25 February 2021 Rose Abrams talk contribs 16,366 bytes −36 →top: removed redundant statement undo

curprev 04:1704:17, 16 February 2021 Tga.D talk contribs m 16,402 bytes −62 Undid revision 1002359543 by 2600:1700:2761:4E0:1576:DCD4:4F99:3D7B (talk) undo Tag: Undo

curprev 01:3801:38, 24 January 2021 2600:1700:2761:4e0:1576:dcd4:4f99:3d7b talk 16,464 bytes +62 Undid revision 1002305037 by DigitalChutney (talk) please explain why it has not been proved to be normal undo Tags: Undo Reverted

curprev 20:1520:15, 23 January 2021 DigitalChutney talk contribs m 16,402 bytes −62 Reverted 1 edit by 2600:1700:2761:4E0:1576:DCD4:4F99:3D7B (talk) to last revision by KRtau16 undo Tags: Twinkle Undo Reverted
curprev 20:1420:14, 23 January 2021 2600:1700:2761:4e0:1576:dcd4:4f99:3d7b talk 16,464 bytes +62 Undid revision 1001038827 by KRtau16 (talk) they say it was proved to be normal undo Tags: Undo Reverted

curprev 23:4523:45, 17 January 2021 KRtau16 talk contribs m 16,402 bytes −62 RCP reverted edits by 2600:1700:2761:4E0:D216:4C59:D6EC:1BFA (Talk); changed back to last revision by Dawnseeker2000: Unconstructive edit undo Tags: Rollback Reverted
curprev 23:4123:41, 17 January 2021 2600:1700:2761:4e0:d216:4c59:d6ec:1bfa talk 16,464 bytes +62 →Background undo Tag: Reverted

curprev 03:4903:49, 18 December 2020 Dawnseeker2000 talk contribs m 16,402 bytes −20 date format audit, words to watch for undo Tag: AWB

curprev 10:2110:21, 28 October 2020 D.Lazard talk contribs 16,422 bytes −43 →top: fixing hatnote undo

curprev 18:4818:48, 14 September 2020 KylieTastic talk contribs m 16,465 bytes −93 Reverted 1 edit by 66.168.111.254 (talk) to last revision by Esprit15d undo Tags: Twinkle Undo
curprev 18:1318:13, 14 September 2020 66.168.111.254 talk 16,558 bytes +93 →Works cited undo

curprev 01:0201:02, 21 August 2020 Esprit15d talk contribs 16,465 bytes 0 ref formatting undo
curprev 01:0101:01, 21 August 2020 Esprit15d talk contribs 16,465 bytes +19 →References: works cited undo

curprev 19:3419:34, 29 May 2020 Bender235 talk contribs m 16,446 bytes −4 →External links: Replaced arXiv PDF link with more mobile-friendly abstract link, replaced: https://arxiv.org/pdf/ → https://arxiv.org/abs/ undo Tag: AWB

curprev 10:3110:31, 11 April 2020 OAbot talk contribs m 16,450 bytes +17 Open access bot: doi added to citation with #oabot. undo

27 September 2024

25 September 2024

21 September 2024

7 September 2024

3 September 2024

24 April 2024

23 April 2024

22 April 2024

26 November 2023

20 November 2023

18 September 2023

30 July 2023

24 July 2023

20 February 2023

2 December 2022

16 November 2022

23 October 2022

16 October 2022

25 August 2022

20 March 2022

14 January 2022

6 July 2021

21 March 2021

25 February 2021

16 February 2021

24 January 2021

23 January 2021

17 January 2021

18 December 2020

28 October 2020

14 September 2020

21 August 2020

29 May 2020

11 April 2020