User contributions for DrDisentangle
Jump to navigation
Jump to search
16 April 2026
- 09:0209:02, 16 April 2026 diff hist +1,742 1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- →Proof of Inequality
15 April 2026
- 18:1018:10, 15 April 2026 diff hist +829 1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- Formal proofs
10 April 2026
- 08:0208:02, 10 April 2026 diff hist +50 User:DrDisentangle update
9 April 2026
- 11:2711:27, 9 April 2026 diff hist −10,621 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF no proof
8 April 2026
- 14:4214:42, 8 April 2026 diff hist +16 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC local pdf current
- 14:3714:37, 8 April 2026 diff hist 0 N File:1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC.pdf No edit summary current
- 14:3414:34, 8 April 2026 diff hist −8 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC →Is Q(1, _) reachable?
- 14:3414:34, 8 April 2026 diff hist +175 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC →Is Q(1, _) reachable?
- 14:2814:28, 8 April 2026 diff hist +1,870 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC model
7 April 2026
- 11:2211:22, 7 April 2026 diff hist +1,074 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC qacc
- 08:3908:39, 7 April 2026 diff hist −84 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC →The P map
- 08:3908:39, 7 April 2026 diff hist +115 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC more detail
- 08:0008:00, 7 April 2026 diff hist +309 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC →The P map
- 07:3807:38, 7 April 2026 diff hist +222 N User:DrDisentangle start
4 April 2026
- 10:2010:20, 4 April 2026 diff hist +7,020 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF rules by dyuan01 proven
3 April 2026
- 16:0016:00, 3 April 2026 diff hist +787 Collatz-like Why is Collatz randomness mysterious? current
- 15:2815:28, 3 April 2026 diff hist −492 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF →Key transitions for proof: superfluous, removed
- 15:0915:09, 3 April 2026 diff hist +87 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF authorship
- 14:2914:29, 3 April 2026 diff hist 0 BB(6) →Cryptids: move potential cryptid up
- 14:2414:24, 3 April 2026 diff hist +8,379 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF Cryptid argument
- 09:4509:45, 3 April 2026 diff hist +611 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF E,0 not reached
2 April 2026
- 18:2418:24, 2 April 2026 diff hist +2,840 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF backwards analysis, link to proofs
- 17:3617:36, 2 April 2026 diff hist −634 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF →Conjectures: remove proven
- 17:3317:33, 2 April 2026 diff hist +2,795 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF fix
- 16:5216:52, 2 April 2026 diff hist +7,792 N 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF initial
30 March 2026
- 07:3807:38, 30 March 2026 diff hist −14 m Collatz-like fix
- 07:3707:37, 30 March 2026 diff hist +1,026 Collatz-like extended intro
- 07:0607:06, 30 March 2026 diff hist +23 BB(6) →Cryptids: moved up one entry
28 March 2026
- 17:1117:11, 28 March 2026 diff hist +16 BB(6) →Cryptids: add name
- 09:3109:31, 28 March 2026 diff hist +724 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC Is Q(1, _) reachable?
26 March 2026
- 12:0512:05, 26 March 2026 diff hist +124 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC flowchart
- 12:0112:01, 26 March 2026 diff hist +71 N File:1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC-rulegraph.png Rule dispatch of1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC current
- 11:2611:26, 26 March 2026 diff hist 0 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC rename, rearrange rules
24 March 2026
- 19:0719:07, 24 March 2026 diff hist +365 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC →The P map: numbers
- 18:5618:56, 24 March 2026 diff hist +1,036 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC The P map
- 15:2815:28, 24 March 2026 diff hist −1 m 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC fix
- 15:2715:27, 24 March 2026 diff hist +1 m 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC fix
- 15:2715:27, 24 March 2026 diff hist −4 m 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC typo
- 15:2215:22, 24 March 2026 diff hist +640 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC more analysis
- 15:1215:12, 24 March 2026 diff hist +149 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC proof of rules
- 15:1015:10, 24 March 2026 diff hist +77 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC add rule names
22 March 2026
- 18:1218:12, 22 March 2026 diff hist 0 File:Antihydra-landcape.png DrDisentangle uploaded a new version of File:Antihydra-landcape.png current
21 March 2026
- 12:1312:13, 21 March 2026 diff hist +125 Antihydra →More Analysis
- 12:1212:12, 21 March 2026 diff hist +99 N File:Antihydra-landcape.png What we know (green) and don't (blue) about the Antihydra halting and other problems.
- 12:0412:04, 21 March 2026 diff hist +89 N File:Antihydra-landscape.svg Depicts what we know (green) and don't about the Antihydra halting problem. current
- 11:5911:59, 21 March 2026 diff hist +221 Antihydra →More Analysis
- 11:5711:57, 21 March 2026 diff hist +224 Antihydra →More Analysis
- 11:5311:53, 21 March 2026 diff hist +283 Antihydra →More Analysis
- 11:4911:49, 21 March 2026 diff hist +55 Antihydra →More Analysis
- 11:4511:45, 21 March 2026 diff hist +1,580 Antihydra More analysis, pending addition of illustration and references Tag: Visual edit: Switched