User contributions for Azerty

13:0013:00, 28 November 2025 diff hist +101 Busy Beaver for SKI calculus Added a few values to the table. Tag: Visual edit
12:5212:52, 28 November 2025 diff hist 0 Busy Beaver for SKI calculus Improved the 6th champion. Tag: Visual edit
12:4512:45, 28 November 2025 diff hist +484 N 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:2907:29, 11 September 2025 diff hist +503 N BB(3,4) I added the BB(3,4) page. Tag: Visual edit

20:4120:41, 15 May 2025 diff hist +246 N 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" current Tag: Visual edit

08:1708:17, 7 September 2024 diff hist +294 Busy Beaver Functions I added the blanking busy beaver and the beeping busy beaver functions. Tag: Visual edit

19:3219:32, 15 August 2024 diff hist +19 m Champions No edit summary Tag: Visual edit
18:0818:08, 15 August 2024 diff hist +282 Champions I added arrays for 4-Symbol and 5-Symbol TMs. Tag: Visual edit
15:2215:22, 15 August 2024 diff hist +226 Champions No edit summary
14:5714:57, 15 August 2024 diff hist +174 N 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"

Navigation menu