Pages without language links
Jump to navigation
Jump to search
The following pages do not link to other language versions.
Showing below up to 50 results in range #101 to #150.
- BB(n,1)
- Backward Reasoning
- Beaver Math Olympiad
- Beeping Busy Beaver
- Bell
- Bell eats counter
- Bigfoot
- Blanking Busy Beaver Function
- Block Analysis
- Bonus Cryptid
- Bouncer
- Bug Game
- Busy Beaver Challenge
- Busy Beaver Frontier
- Busy Beaver Functions
- Busy Beaver for SKI calculus
- Busy Beaver for lambda calculus
- Busy beaver lack of hope recurrence
- Champions
- Closed Position Set
- Closed Set
- Closed Tape Language
- Code repositories
- Collatz-like
- Consistent Collatz
- Coq-BB5
- Counter
- Cryptids
- Cycler
- Cyclic Tag
- Decider
- Dekaheptoid
- Directed head notation
- Doodle function
- Fast-Growing Hierarchy
- Finite Automata Reduction
- Fractal
- Fractran
- General Recursive Function
- Generalized Collatz Function
- Graham's number
- Green's machines
- Halting Segment
- History linear
- Holdouts lists
- Hydra
- Hydra function
- Independence from ZFC
- Inductive Proof System
- Instruction-Limited Busy Beaver