16 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
Pascal Michel
Tibor Rado defined the Busy Beaver Competition in 1962. He used Turing machines to give explicit definitions for some functions that are not computable and grow faster than any com…