User contributions for Polygon
Jump to navigation
Jump to search
2 March 2026
- 18:1218:12, 2 March 2026 diff hist +45 Turing completeness →List of Turing-complete systems: linked SK Calculus current
- 18:0718:07, 2 March 2026 diff hist +24 Skelet 17 Added time for proof of irregularity current
- 17:3817:38, 2 March 2026 diff hist +268 Skelet 33 Added time of proof (migrated from Cosearch)
- 17:3217:32, 2 March 2026 diff hist +14 Coq-BB5 Linked Skelet 33
- 17:3117:31, 2 March 2026 diff hist +91 Skelet 33 Added it being adjacent to Skelet 34
- 17:2717:27, 2 March 2026 diff hist +134 Skelet 33 Added it having an individual proof in Coq-BB5
- 16:5516:55, 2 March 2026 diff hist +743 Skelet 33 Added Analysis by Shawn Ligocki
- 16:5116:51, 2 March 2026 diff hist +23 N 1LC1RD 1RE--- 0LD0LC 1RB0RA 1RA1LE Redirected page to Skelet 33 current Tag: New redirect
- 16:5016:50, 2 March 2026 diff hist +257 N Skelet 33 Created page with "{{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}} {{TM|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter. Category:BB(5)"
- 16:2516:25, 2 March 2026 diff hist +803 Bouncer Added history section
1 March 2026
- 19:0719:07, 1 March 2026 diff hist −1 m BB(6) →History: fixed a typo
28 February 2026
- 12:0412:04, 28 February 2026 diff hist 0 Busy beaver lack of hope recurrence Moved BB(1963) to the bottom current
- 11:5811:58, 28 February 2026 diff hist +24 Tree Rewriting System Added Category:Functions current
- 11:5011:50, 28 February 2026 diff hist +19 BB(4) Added Category:BB(4) current
- 11:4911:49, 28 February 2026 diff hist +20 1RB1LD 1RC1RB 1LC1LA 0RC0RD Added Category:BB(4) current
- 11:4811:48, 28 February 2026 diff hist +20 1RB0RC 1LB1LD 0RA0LD 1LA1RC Added Category:BB(4) current
- 11:4811:48, 28 February 2026 diff hist +65 N Category:BB(4) Created page with "Pages related to the study of BB(4). Category:BB Domains" current
- 11:4611:46, 28 February 2026 diff hist +46 1RB1LB2LC 1LA2RB1RB ---0LA2LA Added Template:Unsolved problem current
- 11:4411:44, 28 February 2026 diff hist +50 Wily Coyote Added template:unsolved problem current
- 10:5110:51, 28 February 2026 diff hist −3 Tiny Tag wording current
- 10:4910:49, 28 February 2026 diff hist +254 User:Polygon/Collection of BB Champions →Cyclic Tag (CTBB(n)): added Tiny Tag current
- 10:4510:45, 28 February 2026 diff hist 0 Tiny Tag →Relation to BB(n): longest --> largest
- 10:3310:33, 28 February 2026 diff hist +15 User:Polygon/Page for testing Added Skelet 1 to list of incomplete pages current
- 10:3110:31, 28 February 2026 diff hist +146 Busy Beaver for lambda calculus →Oracle Busy Beaver: added size 29 champion
- 10:2010:20, 28 February 2026 diff hist 0 TMBR: February 2026 →Holdouts: switched order of the holdout counts in the table
- 10:1910:19, 28 February 2026 diff hist +352 TMBR: February 2026 →Holdouts: added table of reductions
- 10:1110:11, 28 February 2026 diff hist +165 TMBR: February 2026 →Holdouts: added new BB(6) holdouts list
- 10:0710:07, 28 February 2026 diff hist +9 BB(6) →Top Halters: noted that this is the runtime
- 10:0710:07, 28 February 2026 diff hist +100 BB(6) →Top Halters: added a new (March 2025) top halter
- 09:5709:57, 28 February 2026 diff hist 0 BB(6) →History: updated holdout count
- 09:5309:53, 28 February 2026 diff hist +145 Holdouts lists Added new BB(6) holdouts list
- 09:5009:50, 28 February 2026 diff hist +79 N File:BB6 holdouts 1214.txt Holdouts list shared on February 28th 2026 by mxdys over Discord. current
- 08:5508:55, 28 February 2026 diff hist +21 TMBR: February 2026 Re-added non-halting machines
- 08:5408:54, 28 February 2026 diff hist −111 TMBR: February 2026 →Holdouts: removed a link which is now given at the end of the sentence
27 February 2026
- 16:1116:11, 27 February 2026 diff hist +77 0RB2LA1RA 1LA2RB1RC ---1LB1LC Referenced analysis current
26 February 2026
- 16:4616:46, 26 February 2026 diff hist +62 Skelet 17 Added See also section
- 16:4516:45, 26 February 2026 diff hist +48 Skelet 1 Added see also section current
- 16:4116:41, 26 February 2026 diff hist +1 m 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD grammar current
- 16:3216:32, 26 February 2026 diff hist +213 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD Added simulation
- 15:5615:56, 26 February 2026 diff hist 0 m BB(2,6) →Phase 1: consistent separators current
- 15:5415:54, 26 February 2026 diff hist +90 BB(2,6) →Stage 4: added new reduction
22 February 2026
- 10:0210:02, 22 February 2026 diff hist +24 Brainfuck Added Category:Functions current
- 09:5909:59, 22 February 2026 diff hist +205 Skelet 1 Added it having needed an individual proof in Coq-BB5
- 09:5809:58, 22 February 2026 diff hist +205 Skelet 17 Added it having needed an individual proof in Coq-BB5
21 February 2026
- 19:2919:29, 21 February 2026 diff hist +108 Coq-BB5 Added other domains that were proven
- 19:2319:23, 21 February 2026 diff hist 0 m Coq-BB5 grammar
- 19:2219:22, 21 February 2026 diff hist +127 Coq-BB5 Mentioned import
- 19:1019:10, 21 February 2026 diff hist +1,116 Coq-BB5 Added links to the individual proofs
- 19:0219:02, 21 February 2026 diff hist +543 Coq-BB5 Attempted to expand this a bit: Described locations of proofs for individual TMs
- 17:1217:12, 21 February 2026 diff hist +1,891 Finned 3 Completed move current Tag: Removed redirect