16 citations · 24 across the 5 of their papers we have counts for
1 paper · 2 filters
Pascal Michel
By introducing the busy beaver competition of Turing machines, in 1962, Rado defined noncomputable functions on positive integers. The study of these functions and variants leads t…