User contributions for DrDisentangle

Results for DrDisentangle talk block log uploads logs abuse log

A user with 100 edits. Account created on 21 March 2026.

Jump to navigation Jump to search

10:0110:01, 30 April 2026 diff hist +146 1RB1LD 1RC0LE 1LA1RE 0LF1LA 1RB0RB ---0LB equivalent machine current
08:5508:55, 30 April 2026 diff hist +399 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF →1RB1LA_1RC0RF_1RD---_0LE1RB_---0LA_1LD1RF: equivalent machines current

11:2511:25, 29 April 2026 diff hist −4 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC →Non-halting math form: fix current
11:1911:19, 29 April 2026 diff hist −10 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC →Non-halting math form: fix
09:5609:56, 29 April 2026 diff hist −3,546 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF →Current state: three tape-level conjectures: rm
09:5509:55, 29 April 2026 diff hist +3,349 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF →Failed proof strategies: update

10:5610:56, 27 April 2026 diff hist +1,212 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE Aristotle current

15:4115:41, 26 April 2026 diff hist +228 User:DrDisentangle/BB6 formal proofs No edit summary current
15:3915:39, 26 April 2026 diff hist +768 1RB1LE 0LC0LB 1RD1LC 1RD1RA 1RF0LA ---1RE math form current
14:3814:38, 26 April 2026 diff hist 0 User:DrDisentangle/BB6 formal proofs No edit summary
14:0914:09, 26 April 2026 diff hist +17 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC No edit summary
07:3307:33, 26 April 2026 diff hist +404 User:DrDisentangle/BB6 formal proofs No edit summary
07:1507:15, 26 April 2026 diff hist +898 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF math form current

06:5506:55, 25 April 2026 diff hist +68 User:DrDisentangle/BB6 formal proofs No edit summary

13:3713:37, 24 April 2026 diff hist +228 User:DrDisentangle/BB6 formal proofs No edit summary
13:3413:34, 24 April 2026 diff hist +656 1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB math form
11:0511:05, 24 April 2026 diff hist +2 User:DrDisentangle/BB6 formal proofs No edit summary
07:1707:17, 24 April 2026 diff hist +70 User:DrDisentangle/BB6 formal proofs No edit summary

15:2415:24, 23 April 2026 diff hist +114 User:DrDisentangle/BB6 formal proofs No edit summary
15:2315:23, 23 April 2026 diff hist +3,539 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE incomplete rules
10:5810:58, 23 April 2026 diff hist +228 User:DrDisentangle/BB6 formal proofs No edit summary
10:5710:57, 23 April 2026 diff hist +1,584 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC math form
07:4107:41, 23 April 2026 diff hist +228 User:DrDisentangle/BB6 formal proofs No edit summary
07:3907:39, 23 April 2026 diff hist +934 Lucy's Moonlight Halting math formula

09:2709:27, 22 April 2026 diff hist +30 Antihydra →More Analysis: corr current
09:0809:08, 22 April 2026 diff hist +228 User:DrDisentangle/BB6 formal proofs No edit summary
09:0609:06, 22 April 2026 diff hist +709 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE math form

10:5810:58, 21 April 2026 diff hist +114 User:DrDisentangle/BB6 formal proofs No edit summary
10:5610:56, 21 April 2026 diff hist +3,574 1RB1LD 1RC0LE 1LA1RE 0LF1LA 1RB0RB ---0LB Incomplete analysis
07:3007:30, 21 April 2026 diff hist 0 m 1RB1LD 1RC0LE 1LA1RE 0LF1LA 1RB0RB ---0LB fix
07:2707:27, 21 April 2026 diff hist 0 1RB1LD 1RC0LE 1LA1RE 0LF1LA 1RB0RB ---0LB fix unrelated

15:2015:20, 20 April 2026 diff hist +219 User:DrDisentangle/BB6 formal proofs No edit summary
15:1415:14, 20 April 2026 diff hist +188 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE lean proof current
07:4907:49, 20 April 2026 diff hist −29 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF →Run-length encoding: rm header
07:4407:44, 20 April 2026 diff hist −3,801 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF revamp

15:4315:43, 19 April 2026 diff hist +100 User:DrDisentangle/BB6 formal proofs No edit summary
15:3415:34, 19 April 2026 diff hist +2,928 1RB1RF 1LC1LF 0RE1LD 0LB1LD ---1RC 1RA0RD incomplete rules
10:4810:48, 19 April 2026 diff hist +412 User:DrDisentangle/BB6 formal proofs No edit summary
10:3310:33, 19 April 2026 diff hist +366 User:DrDisentangle/BB6 formal proofs No edit summary
09:3809:38, 19 April 2026 diff hist +1,238 User:DrDisentangle/BB6 formal proofs No edit summary
08:5808:58, 19 April 2026 diff hist +1,440 N User:DrDisentangle/BB6 formal proofs Created page with "This page is a draft of something to be added to BB(6). The goal is to keep track of which BB(6) cryptids (or candidates) have Rocq/Lean proofs of specific stages up to halting/nonhalting proofs. {| class="wikitable" |- ! Machine !! Rules Proved !! Math Derived !! H/NH Proof attempt !! Final Proof |- | 1RB1LD_1RC0LE_1LA1RE_0LF1LA_1RB0RB_---0LB || || || || |- | 1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC || || || || |- | 1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---..."
08:1408:14, 19 April 2026 diff hist +1,012 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE Review 2026-Apr-19 by Opus 4.7
07:3407:34, 19 April 2026 diff hist +38 User:DrDisentangle No edit summary current
07:2407:24, 19 April 2026 diff hist +278 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA nonhalting proof unfinished current

16:4216:42, 18 April 2026 diff hist −1,753 m 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA →Opus 4.7 Review: rm spaces
15:1015:10, 18 April 2026 diff hist +5,264 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA Opus Review

11:2411:24, 17 April 2026 diff hist +360 N 1RB---0RB0LA2RA 2LB2LA3RA4LB0LB init
07:4907:49, 17 April 2026 diff hist 0 User:DrDisentangle No edit summary

14:3314:33, 16 April 2026 diff hist +762 1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- Why is that axiom not formalized? current
13:5113:51, 16 April 2026 diff hist +110 1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- ref

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:Contributions/DrDisentangle"