New pages

Jump to navigation Jump to search
New pages
Hide registered users | Hide bots | Hide redirects
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

19 December 2025

17 December 2025

11 December 2025

9 December 2025

8 December 2025

  • 18:5218:52, 8 December 2025 Space Needle (hist | edit) [55 bytes] RobinCodes (talk | contribs) (Added "Space Needle" redirect page to the TM) Tag: New redirect
  • 16:2016:20, 8 December 2025 Register machine (hist | edit) [1,885 bytes] Azerty (talk | contribs) (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

7 December 2025

6 December 2025

5 December 2025

4 December 2025

3 December 2025

2 December 2025

29 November 2025

28 November 2025

  • 12:4512:45, 28 November 2025 Busy Beaver for SKI calculus (hist | edit) [609 bytes] Azerty (talk | contribs) (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...")

23 November 2025

22 November 2025

19 November 2025

17 November 2025

16 November 2025

15 November 2025

14 November 2025

10 November 2025

  • 20:2520:25, 10 November 2025 Fractran (hist | edit) [27,225 bytes] Sligocki (talk | contribs) (Created page with "'''Fractran''' (originally styled FRACTRAN) is an esoteric model of computation invented by John Conway in 1987.<ref>Conway, John H. (1987). "FRACTRAN: A Simple Universal Programming Language for Arithmetic". ''Open Problems in Communication and Computation''. Springer-Verlag New York, Inc. pp. 4–26. <nowiki>http://doi.org/10.1007/978-1-4612-4808-8_2</nowiki></ref> In this model a program is simply a finite list of fractions, the program state is an integer. For more d...") Tag: Visual edit: Switched
  • 19:5819:58, 10 November 2025 1RB2RA3LB---2LB 2LA0LA4RB0RB1LA (hist | edit) [403 bytes] Sligocki (talk | contribs) (Created page with "{{machine|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA}} {{stub}} {{TM|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA}} appears to be a tetrational BB(2,5) probviously halting Cryptid. Racheline estimates the probability that it surpasses the current champion ({{TM|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}) is 1/8. https://discord.com/channels/960643023006490684/1259770421046411285/1329809402378719273")

5 November 2025

2 November 2025

29 October 2025

28 October 2025

26 October 2025

25 October 2025

24 October 2025

22 October 2025

  • 18:0118:01, 22 October 2025 1RB1RF 0LC1RC 1RD1LC 1RZ0RE 1RA1LF 1RA0LE (hist | edit) [3,560 bytes] Sligocki (talk | contribs) (Created page with "{{machine|1RB1RF_0LC1RC_1RD1LC_---0RE_1RA1LF_1RA0LE}} {{TM|1RB1RF_0LC1RC_1RD1LC_---0RE_1RA1LF_1RA0LE}} == Analysis by Shawn Ligocki == https://discord.com/channels/960643023006490684/1239205785913790465/1430590536825442384 <pre> 1RB1RF_0LC1RC_1RD1LC_---0RE_1RA1LF_1RA0LE A> 10 -> 11 A> 0 1^n A> 00 -> 11 A> 1^n 0 for n >= 1 0 1^2k+3 A> 11 -> 1^4 0 1^2k+1 A> 0 1 A> 1^2 0 -> 1^5 Z> (Halt) 0 1 A> 1^3 0 -> 1^4 0 1 A> 0 1 A> 1^4 -> 1^5 A> 1 0 1^2k A> 11 -> 1^2k+3 A> A(...") originally created as "1RB1RF 0LC1RC 1RD1LC ---0RE 1RA1LF 1RA0LE"
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)