Short pages
Jump to navigation
Jump to search
Showing below up to 25 results in range #201 to #225.
- (hist) Inductive Proof System [10,537 bytes]
- (hist) 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ [10,818 bytes]
- (hist) Cryptids [11,230 bytes]
- (hist) BB(3,3) [12,275 bytes]
- (hist) Non-halting Turing machine [12,526 bytes]
- (hist) Skelet 17 [12,696 bytes]
- (hist) Busy beaver lack of hope recurrence [13,136 bytes]
- (hist) Skelet 26 [13,816 bytes]
- (hist) 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF [14,409 bytes]
- (hist) Dekaheptoid [14,748 bytes]
- (hist) Antihydra [15,653 bytes]
- (hist) General Recursive Function [17,400 bytes]
- (hist) Bigfoot [18,871 bytes]
- (hist) TYBR: 2025 [18,929 bytes]
- (hist) 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE [19,639 bytes]
- (hist) BB(3,4) [21,176 bytes]
- (hist) Busy Beaver for lambda calculus [21,782 bytes]
- (hist) BB(4,3) [22,051 bytes]
- (hist) BB(2,5) [23,096 bytes]
- (hist) Instruction-Limited Busy Beaver [23,669 bytes]
- (hist) 1RB2LC1RC 2LC---2RB 2LA0LB0RA [24,776 bytes]
- (hist) BB(2,6) [25,626 bytes]
- (hist) Holdouts lists [27,964 bytes]
- (hist) Fractran [32,508 bytes]
- (hist) BB(7) [39,670 bytes]