Branchbound: Uncomputable Garden

Two mathematical experiments

Branchbound: Uncomputable Garden is a PC DLC for Branchbound that adds two deterministic, replayable mathematical experiments. You work with bounded examples rather than computing the full problems they draw on.

Busy Beaver Lab

Predict a curated two-symbol Turing machine, then reveal its finite execution one step at a time. You can compare the runtime and tape marks you observe with the disclosed limit. The lab doesn’t compute the Busy Beaver function generally.