User contributions for Sligocki
Jump to navigation
Jump to search
24 July 2025
- 14:4414:44, 24 July 2025 diff hist −23 m Bigfoot No edit summary Tag: Visual edit
23 July 2025
- 04:4104:41, 23 July 2025 diff hist +41 m Instruction-Limited Busy Beaver →Champions Tag: Visual edit
- 03:0203:02, 23 July 2025 diff hist −3 Instruction-Limited Busy Beaver →Champions: BBi(7) champ proven Tag: Visual edit
22 July 2025
- 19:1719:17, 22 July 2025 diff hist +357 m Reversible Turing Machine Align Numbers in table
- 19:1519:15, 22 July 2025 diff hist +630 m Instruction-Limited Busy Beaver →Champions: Align numbers in table.
- 18:3718:37, 22 July 2025 diff hist +2 m Code repositories Fix typos Tag: Visual edit: Switched
- 18:3618:36, 22 July 2025 diff hist +21 N Bouncers Redirected page to Bouncer current Tags: New redirect Visual edit
- 18:3518:35, 22 July 2025 diff hist +29 m Closed Tape Language No edit summary Tag: Visual edit
- 18:3418:34, 22 July 2025 diff hist +78 N MITMWFAR Redirected page to Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) current Tags: New redirect Visual edit: Switched
- 18:3418:34, 22 July 2025 diff hist +398 N Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) Created page with "'''Meet-in-the-Middle Weighted Finite Automata Reduction''' ('''MITMWFAR''') is a Turing machine decider. It is a variation of Finite Automata Reduction (FAR) based upon Weighted Finite Automata. This allows it to decide irregular TMs which cannot be decided by FAR or any other regular decider. See: https://github.com/Iijil1/MITMWFAR/tree/main Category:Deciders Category:Stub" Tag: Visual edit
- 01:2701:27, 22 July 2025 diff hist +480 Independence from ZFC Add section on N_ZFC = N_ZF Tag: Visual edit
21 July 2025
- 21:2421:24, 21 July 2025 diff hist +775 Talk:Independence from ZFC No edit summary
- 15:5615:56, 21 July 2025 diff hist +56 Independence from ZFC →History: Clarify that some are self-reported Tag: Visual edit
- 15:5515:55, 21 July 2025 diff hist −418 Independence from ZFC →History: One number per row in table and update other numbers. Tag: Visual edit
20 July 2025
- 15:5815:58, 20 July 2025 diff hist +112 Talk:BB(7) No edit summary current
- 04:0204:02, 20 July 2025 diff hist +14 m Reversible Turing Machine →Busy Beaver Champions: Initial enumeration for BB_rev(7) Tag: Visual edit
- 04:0104:01, 20 July 2025 diff hist 0 m Reversible Turing Machine →Busy Beaver Champions: Update BB_rev(7) champ Tag: Visual edit
19 July 2025
- 13:5913:59, 19 July 2025 diff hist +122 m TMBR: July 2025 →In the News Tag: Visual edit: Switched
18 July 2025
- 03:5803:58, 18 July 2025 diff hist +1 Instruction-Limited Busy Beaver Add 0RB BBi(1) champ. Tag: Visual edit: Switched
17 July 2025
- 22:4822:48, 17 July 2025 diff hist +138 m Reversible Turing Machine →Busy Beaver Champions: Early BB_rev(7) champ Tag: Visual edit
- 17:3517:35, 17 July 2025 diff hist +114 m Reversible Turing Machine →Busy Beaver Champions: Add discord link Tag: Visual edit
- 06:0006:00, 17 July 2025 diff hist +1 m Instruction-Limited Busy Beaver →Champions
- 05:5905:59, 17 July 2025 diff hist +171 Instruction-Limited Busy Beaver →Champions: Add BBi(7) co-champion Tag: Visual edit
- 02:1502:15, 17 July 2025 diff hist +100 m Instruction-Limited Busy Beaver →Champions Tag: Visual edit
16 July 2025
- 23:3723:37, 16 July 2025 diff hist +1,378 Instruction-Limited Busy Beaver Add table of champions Tag: Visual edit
- 21:4821:48, 16 July 2025 diff hist −118 m TMBR: July 2025 →BB Adjacent Tag: Visual edit
- 21:4721:47, 16 July 2025 diff hist +873 N Instruction-Limited Busy Beaver Created page with "An '''n-instruction Turing machine''' is a Turing machine with an arbitrary number of states and symbols, but limited to only ''n'' defined transitions/instructions in its transition table (all others are undefined). The '''Limited Instruction Busy Beaver''' (BBi(n)) problem is the Busy Beaver problem limited to n-instruction TMs. So BBi(n) is the longest runtime for all halting n-instruction TMs when started on a blank tape. A TM is considered to halt as soon as it..."
- 21:3321:33, 16 July 2025 diff hist +292 Terminating Turmite Add some History. Tag: Visual edit
- 21:0121:01, 16 July 2025 diff hist +24 m TMBR: July 2025 No edit summary Tag: Visual edit
- 21:0021:00, 16 July 2025 diff hist −2 m Terminating Turmite No edit summary
- 21:0021:00, 16 July 2025 diff hist +660 N Terminating Turmite Created page with "A '''Terminating Turmite''' or '''Relative Movement Turing Machine''' is a Turing machine which uses relative directions instead of absolute ones. So instead of moving (L)eft or (R)ight, it (P)roceeds forward (for one step in the same direction as last move or (T)urns-around (move one direction in the opposite direction). TT(n,k) is the maximum steps of all halting n-state, k-symbol Terminating Turmites when started on a blank tape. It was coined by @creeperman7002 w..."
- 20:5120:51, 16 July 2025 diff hist +84 m TMBR: July 2025 →Interesting TMs Tag: Visual edit
- 20:4120:41, 16 July 2025 diff hist +842 N 1RB2LA2LC--- 1LA2RB2RD--- 3RB1LC1RD0LA 3LA1RD1LC0RB Created page with "{{machine|1RB2LA2LC---_1LA2RB2RD---_3RB1LC1RD0LA_3LA1RD1LC0RB}} {{TM|1RB2LA2LC---_1LA2RB2RD---_3RB1LC1RD0LA_3LA1RD1LC0RB}} is a non-halting TT(2,4) TM that is "pretending to be" a probviously halting Cryptid. Rules by Shawn Ligocki: <pre> C(a, b, c) = 0^inf 3 2^a <C 1^b 2^c 3 0^inf = 0^inf 3 2^c 1^b D> 2^a 3 0^inf C(a+1, b, c) -> C(c, b+1, a) C(0, b, c+3) -> C(c, 0, b+6) C(0, b, 2) -> Halt(b+7) C(0, b, 1) -> C(b+5, 0, 2) C(0, b, 0) -> C(b+2, 0, 5) Start: C(1, 0, 2) @..."
- 16:1716:17, 16 July 2025 diff hist +210 TMBR: July 2025 →Interesting TMs: Add the two bouncer <-> counter TMs
- 06:1706:17, 16 July 2025 diff hist +91 Reversible Turing Machine →Busy Beaver Champions: Partial BB(6) results Tag: Visual edit
- 04:2404:24, 16 July 2025 diff hist +35 Reversible Turing Machine →Busy Beaver Champions: Add TNF sizes computed from my new enumeration code. Tag: Visual edit
- 03:2903:29, 16 July 2025 diff hist +477 Turing machine Note quadruple vs. quintuple naming. Tag: Visual edit
- 03:2603:26, 16 July 2025 diff hist +154 Reversible Turing Machine Clarify what we know about 1-tape RTMs. Technically, Bennett only talks about quadruple TMs. I suspect it applies to quintuple TMs as well, but remains to be proven. Tag: Visual edit
15 July 2025
- 21:4021:40, 15 July 2025 diff hist +26 m TMBR: July 2025 No edit summary Tag: Visual edit
- 21:3321:33, 15 July 2025 diff hist −2 m TMBR: July 2025 No edit summary Tag: Visual edit: Switched
- 21:3221:32, 15 July 2025 diff hist +2,623 N TMBR: July 2025 Created page with "Category:This Month in Busy Beaver This Month in Busy Beaver for July 2025. == Champions == * (Late June) mxdys found a pair of new BB(6) champions pushing it into the pentational values: {{TM| 1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE}} (scoring over 2↑↑2↑↑2↑↑10) and {{TM|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB}} (scoring over 10↑↑11010000). * mxdys confirms dyuan's BB(2,5) champion {{TM|1RB3LA4RB0R..."
- 20:5620:56, 15 July 2025 diff hist +730 N Category:This Month in Beaver Research Created page with "'''This Month in Busy Beaver''' ('''TMiBB''') is a monthly series of articles dedicated to covering Busy Beaver research progress, announcements and news from each month. It is crowd-sourced, so please contribute. Shawn Ligocki is the current editor-in-chief. The article is expected to be a collection of small blurbs with links to go into more information. Process: * The articles for each month will be created around the start of the month. * Anyone ca..."
- 19:1819:18, 15 July 2025 diff hist 0 BB(6) →Holdouts: Update holdout count Tag: Visual edit
- 19:1719:17, 15 July 2025 diff hist +1 Holdouts lists BB(6) holdout count update Tag: Visual edit
14 July 2025
- 04:0404:04, 14 July 2025 diff hist +342 Reversible Turing Machine Note Bennett. Briefly for now until I read his paper in more depth. Tag: Visual edit
13 July 2025
- 06:5806:58, 13 July 2025 diff hist +7 m Lazy Beaver →Computed Values: Add missing value Tag: Visual edit
- 06:5306:53, 13 July 2025 diff hist +35 N Bbchallenge Redirected page to Busy Beaver Challenge current Tags: New redirect Visual edit
- 06:5306:53, 13 July 2025 diff hist +492 Busy Beaver Challenge Fill in a few details Tag: Visual edit
- 06:4506:45, 13 July 2025 diff hist +35 N Bbchallenge.org Sligocki moved page Bbchallenge.org to Busy Beaver Challenge current Tag: New redirect
- 06:4506:45, 13 July 2025 diff hist 0 m Busy Beaver Challenge Sligocki moved page Bbchallenge.org to Busy Beaver Challenge