Main public logs
Jump to navigation
Jump to search
Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:57, 19 December 2025 Azerty talk contribs created page BB(3,5) (Added BB(3,5) page) Tag: Visual edit
- 09:35, 17 December 2025 Azerty talk contribs created page Turing completeness (Created page with "A Turing-complete system is a system that can compute every computable functions. A Turing-complete system can be used to simulate any Turing machine or other Turing-complete systems. The halting problem is uncomputable on any Turing-complete system. To be Turing-complete, a system must be able to store unbounded memory, access it and must contain non-halting programs (like "while" loops or recursion). === List of Turing-complete systems === This list is non-exhaustiv...") Tag: Visual edit
- 16:20, 8 December 2025 Azerty talk contribs created page Register machine (Created page with "Register machines, also known as Minsky machines, are a Turing-complete model of computation. Register machines contain a set of instructions and at least 2 registers. Each instruction in a program has a number, starting with 1. There are 2 types of instructions: * inc(c, n) add 1 to the register c then jumps to instruction n. * dec(c, n, m) jumps to instruction m if register c equal 0 else subtract 1 to the register c then jump to instruction n. The program halt if...") Tag: Visual edit
- 21:32, 6 December 2025 Azerty talk contribs created page 1RB2LA1RA1RA 1LB1LA3RB1RZ (Created page with "{{TM|1RB2LA1RA1RA_1LB1LA3RB---|halt}} is the BB(2,4) champion. It was found in 2005 by Terry and Shawn Ligocki. It runs for 3,932,964 steps and leaves 2,050 ones. == Analysis == To do") Tag: Visual edit
- 21:10, 6 December 2025 Azerty talk contribs created page 0RB2LA1RA 1LA2RB1RC ---1LB1LC (Created the page) Tag: Visual edit
- 21:03, 6 December 2025 Azerty talk contribs created page 1RB3LB---2RA 2LC3RB1LC2RA 3RB1LB3LC2RC (Redirected page to 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC) Tag: New redirect
- 21:02, 6 December 2025 Azerty talk contribs created page 1RB0RA 1LC1LF 1RD0LB 1RA1LE ---0LC 1RG1LD 0RG0RF (Redirected page to 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF) Tag: New redirect
- 21:01, 6 December 2025 Azerty talk contribs created page 1RB1RD1LC 2LB1RB1LC ---1LA1LD 0RB2RA2RD (Redirected page to 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD) Tags: New redirect Visual edit
- 20:59, 6 December 2025 Azerty talk contribs created page 1RB3RB5RA1LB5LA2LB 2LA2RA4RB---3LB2LA (Redirected page to 1RB3RB5RA1LB5LA2LB 2LA2RA4RB1RZ3LB2LA) Tag: New redirect
- 10:21, 4 December 2025 Azerty talk contribs created page User:Azerty/Busy Beaver Functions (Created page with "This is a list of Busy Beaver functions for Turing machines and other simple Turing-complete systems and their current lower bounds. All functions here grow uncomputably fast like the original Busy Beaver function. There is no function that grow much faster like the Beeping Busy Beaver function here. I will add more functions soon. == Turing Machines == {| class="wikitable" !Function !Value |- |BB(2) |6 |- |BB(3) |21 |- |BB(2,3) |38 |- |BB(4) |107 |- |...") Tag: Visual edit
- 12:45, 28 November 2025 Azerty talk contribs created page Busy Beaver for SKI calculus (Created page with "Busy Beaver for SKI calculus (we will call it BBSKI for now) is a variation of the Busy Beaver problem for lambda calculus. == Champions == {| class="wikitable" ! n !! Value !! Champion !! Discoverered by |- | 1 || = 1 || S || ? |- | 2 || = 2 || SS || ? |- | 3 || = 3 || SSS || ? |- | 4 || = 4 || SSSS || ? |- | 5 || = 6 || SSS(SS) || ? |- | 6 || >= 8 || SSS(SSS) || ? |} == See Also == [https://komiamiko.me/math/ordinals/2020/06/21/ski-numerals.html Lower bounds of this...")
- 07:29, 20 September 2025 Azerty talk contribs created page Maximum Space Function (Added Maximum Space Function page) Tag: Visual edit
- 07:29, 11 September 2025 Azerty talk contribs created page BB(3,4) (I added the BB(3,4) page.) Tag: Visual edit
- 20:41, 15 May 2025 Azerty talk contribs created page User:Azerty (Created page with "I am an amateur who likes mathematics, googology and making Roblox games. My LNGI: https://docs.google.com/spreadsheets/d/1-ioA5AvV1ODs3tAmZY36GiCpl5n7c_chFo0Q4w2J_0o/edit?usp=sharing My Roblox group: https://www.roblox.com/communities/14664057") Tag: Visual edit
- 14:57, 15 August 2024 Azerty talk contribs created page BB(2,3) (Created page with "'''BB(2,3)''' refers to the 2<sup>th</sup> value of the Busy Beaver function with 3 symbols. == Champions == S(2,3) = 38: * {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones")
- 13:11, 15 August 2024 User account Azerty talk contribs was created