Buchholz hydra (original) (raw)

In mathematical logic, the Buchholz hydra game is a hydra game, which is a single-player game based on the idea of chopping pieces off a mathematical tree. The hydra game can be used to generate a rapidly growing function , which eventually dominates all recursive functions that are provably total in , and is itself provably total in + "transfinite induction with respect to TFB".