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.
- Coq-BB5
- Counter
- Cryptids
- Cycler
- Decider
- Dekaheptoid
- Directed head notation
- Doodle function
- Fast-Growing Hierarchy
- Fast-Growing Hierarchy Growth Bound Theorem
- Finite Automata Reduction
- Fractal
- 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
- Introduction to the Busy Beaver Function
- Lazy Beaver
- Least Busy Beaver
- Longitudinal Analysis
- Lucy's Moonlight
- Main Page
- Maximum Consecutive Ones Function
- Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)
- Mother of Giants
- Non-halting Turing machine
- Papers & Talks
- Permutation
- Probvious
- Quasihalt
- Rate of tape growth
- Reversible Turing Machine
- Sequences
- Shift overflow bouncer counter
- Shift overflow counter
- Shift rule
- Skelet
- Skelet 1
- Skelet 17
- Surprise in a Box
- Sync bi-counter
- Sync bouncer counter
- TMBR: August 2025
- TMBR: July 2025